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 | 20 |
1 files changed, 20 insertions, 0 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 new file mode 100644 index 0000000..1a746de --- /dev/null +++ b/jeu-test/Lemmini/.metadata/.plugins/org.eclipse.debug.ui/dialog_settings.xml @@ -0,0 +1,20 @@ +<?xml version="1.0" encoding="UTF-8"?> +<section name="Workbench"> + <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="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"/> + </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="1|Sans|10.0|0|GTK|1|" key="DIALOG_FONT_NAME"/> + </section> +</section> |