Adding JMCR-Stable version

[Benchmarks_CSolver.git] / JMCR-Stable / .metadata / .plugins / org.eclipse.jdt.debug.ui / dialog_settings.xml

diff --git a/JMCR-Stable/.metadata/.plugins/org.eclipse.jdt.debug.ui/dialog_settings.xml b/JMCR-Stable/.metadata/.plugins/org.eclipse.jdt.debug.ui/dialog_settings.xml
new file mode 100644 (file)
index 0000000..dcdad46
--- /dev/null
+++ b/JMCR-Stable/.metadata/.plugins/org.eclipse.jdt.debug.ui/dialog_settings.xml
@@ -0,0 +1,15 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<section name="Workbench">
+       <item value="73" key="org.eclipse.jdt.debug.ui.jre_preference_page_context.columnWidth2"/>
+       <item value="1" key="org.eclipse.jdt.debug.ui.jre_preference_page_context.sortColumn"/>
+       <item value="355" key="org.eclipse.jdt.debug.ui.jre_preference_page_context.columnWidth1"/>
+       <item value="134" key="org.eclipse.jdt.debug.ui.jre_preference_page_context.columnWidth0"/>
+       <section name="conditionHistory">
+       </section>
+       <section name="org.eclipse.jdt.internal.debug.ui.ExpressionInformationControlCreator$ExpressionInformationControl">
+               <item value="500" key="SashWeightTree"/>
+               <item value="500" key="SashWeightDetails"/>
+               <item value="600" key="WIDTH"/>
+               <item value="156" key="HEIGHT"/>
+       </section>
+</section>