commit	d1cca1fd278deb4822d15f0d8eea6f19e2fc694f	[log] [tgz]
author	Erwan Mahe <erwan.mahe@cea.fr>	Thu Feb 09 13:48:45 2017 +0100
committer	Erwan Mahe <erwan.mahe@cea.fr>	Thu Feb 09 13:48:45 2017 +0100
tree	7a560b9f7719015ebec5a4242af78670c2cf288a
parent	17efa246607eb09d4ed1447d5eb045e713725edf [diff]

Bug 511556

Grouped preferences under single page
in Windows -> Preferences

Change-Id: I9176a1e439d58546591e67742abb7b639d479d40
Signed-off-by: Erwan Mahe <erwan.mahe@cea.fr>

gui/org.eclipse.efm.runconfiguration/META-INF/MANIFEST.MF[diff]
gui/org.eclipse.efm.runconfiguration/plugin.xml[diff]
gui/org.eclipse.efm.ui.preferences.runconfigurations/.classpath[Added - diff]
gui/org.eclipse.efm.ui.preferences.runconfigurations/.gitignore[Added - diff]
gui/org.eclipse.efm.ui.preferences.runconfigurations/.project[Added - diff]
gui/org.eclipse.efm.ui.preferences.runconfigurations/.settings/org.eclipse.jdt.core.prefs[Added - diff]
gui/org.eclipse.efm.ui.preferences.runconfigurations/META-INF/MANIFEST.MF[Added - diff]
gui/org.eclipse.efm.ui.preferences.runconfigurations/about.html[Added - diff]
gui/org.eclipse.efm.ui.preferences.runconfigurations/build.properties[Added - diff]
gui/org.eclipse.efm.ui.preferences.runconfigurations/plugin.xml[Added - diff]
gui/org.eclipse.efm.ui.preferences.runconfigurations/pom.xml[Added - diff]
gui/org.eclipse.efm.ui.preferences.runconfigurations/src/org/eclipse/efm/ui/preferences/runconfigurations/ExternalToolsPreferencePage.java[Renamed from gui/org.eclipse.efm.runconfiguration/src/org/eclipse/efm/runconfiguration/ui/preferences/ExternalToolsPreferencePage.java - diff]
gui/org.eclipse.efm.ui.preferences.runconfigurations/src/org/eclipse/efm/ui/preferences/runconfigurations/LaunchConfigurationPreferencePage.java[Renamed from gui/org.eclipse.efm.runconfiguration/src/org/eclipse/efm/runconfiguration/ui/preferences/LaunchConfigurationPreferencePage.java - diff]
gui/org.eclipse.efm.ui.preferences.runconfigurations/src/org/eclipse/efm/ui/preferences/runconfigurations/MainPreferencePage.java[Renamed from gui/org.eclipse.efm.runconfiguration/src/org/eclipse/efm/runconfiguration/ui/preferences/MainPreferencePage.java - diff]
gui/org.eclipse.efm.ui.preferences.runconfigurations/src/org/eclipse/efm/ui/preferences/runconfigurations/ToolPreferenceInitializer.java[Renamed from gui/org.eclipse.efm.runconfiguration/src/org/eclipse/efm/runconfiguration/ui/preferences/ToolPreferenceInitializer.java - diff]

15 files changed

tree: 7a560b9f7719015ebec5a4242af78670c2cf288a

README.md

EFM : Eclipse Formal Modeling