diff options
Diffstat (limited to 'jeu-test/Lemmini/.metadata/.plugins/org.eclipse.debug.ui/dialog_settings.xml')
| -rw-r--r-- | jeu-test/Lemmini/.metadata/.plugins/org.eclipse.debug.ui/dialog_settings.xml | 13 |
1 files changed, 10 insertions, 3 deletions
diff --git a/jeu-test/Lemmini/.metadata/.plugins/org.eclipse.debug.ui/dialog_settings.xml b/jeu-test/Lemmini/.metadata/.plugins/org.eclipse.debug.ui/dialog_settings.xml index 1a746de..b7bec70 100644 --- a/jeu-test/Lemmini/.metadata/.plugins/org.eclipse.debug.ui/dialog_settings.xml +++ b/jeu-test/Lemmini/.metadata/.plugins/org.eclipse.debug.ui/dialog_settings.xml @@ -1,20 +1,27 @@ <?xml version="1.0" encoding="UTF-8"?> <section name="Workbench"> + <section name="org.eclipse.debug.ui.SCOPED_SAVE_SELECTION_DIALOG"> + <item value="350" key="DIALOG_WIDTH"/> + <item value="190" key="DIALOG_Y_ORIGIN"/> + <item value="350" key="DIALOG_HEIGHT"/> + <item value="545" key="DIALOG_X_ORIGIN"/> + <item value="1|Ubuntu|11.0|0|GTK|1|" key="DIALOG_FONT_NAME"/> + </section> <section name="org.eclipse.debug.ui.LAUNCH_CONFIGURATIONS_DIALOG_SECTION"> <item value="800" key="DIALOG_WIDTH"/> <item value="0" key="DIALOG_Y_ORIGIN"/> <item value=", org.eclipse.jdt.launching.localJavaApplication, " key="org.eclipse.debug.ui.EXPANDED_NODES"/> - <item value="640" key="DIALOG_HEIGHT"/> <item value="112" key="DIALOG_X_ORIGIN"/> + <item value="640" key="DIALOG_HEIGHT"/> <item value="237" key="org.eclipse.debug.ui.DIALOG_SASH_WEIGHTS_1"/> - <item value="1|Sans|10.0|0|GTK|1|" key="DIALOG_FONT_NAME"/> <item value="762" key="org.eclipse.debug.ui.DIALOG_SASH_WEIGHTS_2"/> + <item value="1|Sans|10.0|0|GTK|1|" key="DIALOG_FONT_NAME"/> </section> <section name="org.eclipse.debug.ui.SELECT_LAUNCH_SHORTCUT_DIALOG"> <item value="350" key="DIALOG_WIDTH"/> <item value="149" key="DIALOG_Y_ORIGIN"/> - <item value="350" key="DIALOG_HEIGHT"/> <item value="337" key="DIALOG_X_ORIGIN"/> + <item value="350" key="DIALOG_HEIGHT"/> <item value="1|Sans|10.0|0|GTK|1|" key="DIALOG_FONT_NAME"/> </section> </section> |