projet-mini-genie-logiciel-.../eclipse-workspace/.metadata/.plugins/org.eclipse.jdt.debug.ui/dialog_settings.xml
2021-10-10 00:23:48 +02:00

15 lines
934 B
XML

<?xml version="1.0" encoding="UTF-8"?>
<section name="Workbench">
<section name="org.eclipse.jdt.debug.ui.MAIN_METHOD_SELECTION_DIALOG">
<item key="ShowStatusLine" value="true"/>
<item key="History" value="&lt;?xml version=&quot;1.0&quot; encoding=&quot;UTF-8&quot;?&gt;&#x0A;&lt;History&gt;&#x0A;&lt;historyRootNode&gt;&#x0A;&lt;infoNode&gt;=fr.n7.simplepdl.toHTML/src&amp;lt;fr.n7.simplepdl.toHTML.main{ToHTML.java[ToHTML&lt;/infoNode&gt;&#x0A;&lt;infoNode&gt;=fr.n7.petrinet.toTINA/src&amp;lt;fr.n7.petrinet.toTINA.main{ToTINA.java[ToTINA&lt;/infoNode&gt;&#x0A;&lt;/historyRootNode&gt;&#x0A;&lt;/History&gt;"/>
<section name="DialogBoundsSettings">
<item key="DIALOG_HEIGHT" value="500"/>
<item key="DIALOG_WIDTH" value="600"/>
<item key="DIALOG_X_ORIGIN" value="362"/>
<item key="DIALOG_Y_ORIGIN" value="18"/>
<item key="DIALOG_FONT_NAME" value="1|Ubuntu|11.0|0|GTK|1|"/>
</section>
</section>
</section>