[
Date Prev][
Date Next][
Thread Prev][
Thread Next][
Date Index][
Thread Index]
[
List Home]
|
[platform-ui-dev] HEAD tagged
|
I've tagged HEAD to keep it in sync with core.resources. I'll be
doing another build submission Friday (Tomorrow) around noon.
The map file has been updated for the following Bug changes:
+ Bug 193600. [Commands] org.eclipse.ui.menus/menuContribution
locationURI query placement "endof=..." not implemented? (FIXED)
+ Bug 250604. [FieldAssist] API - ContentProposalAdapter needs
isShowing() method (FIXED)
+ Bug 279758. [JFace] JFace font properties files should indicate that
they must not be translated (FIXED)
+ Bug 280799. [Commands] ActivateEditorHandler unnecessarily calls
setFocus() (FIXED)
+ Bug 292517. Resource Filter UI needs polish (FIXED)
+ Bug 292759. The "Edit Resource Filter" dialog doesn't populate the
"Type" field (FIXED)
+ Bug 292762. [Contributions] MenuUtil provides constants and static
methods ... it should be marked noextend (FIXED)
+ Bug 292901. Confusing "Target" group for children filters (NEW)
The following projects have changed:
org.eclipse.ui.ide
org.eclipse.ui.tests
org.eclipse.jface
org.eclipse.ui.workbench
org.eclipse.ui
--
Paul Webster
Hi floor. Make me a sammich! - GIR
