Initial import
[jpf-core.git] / .idea / misc.xml
1 <?xml version="1.0" encoding="UTF-8"?>
2 <project version="4">
3   <component name="ClientPropertiesManager">
4     <properties class="javax.swing.AbstractButton">
5       <property name="hideActionText" class="java.lang.Boolean" />
6     </properties>
7     <properties class="javax.swing.JComponent">
8       <property name="html.disable" class="java.lang.Boolean" />
9     </properties>
10     <properties class="javax.swing.JEditorPane">
11       <property name="JEditorPane.w3cLengthUnits" class="java.lang.Boolean" />
12       <property name="JEditorPane.honorDisplayProperties" class="java.lang.Boolean" />
13       <property name="charset" class="java.lang.String" />
14     </properties>
15     <properties class="javax.swing.JList">
16       <property name="List.isFileList" class="java.lang.Boolean" />
17     </properties>
18     <properties class="javax.swing.JPasswordField">
19       <property name="JPasswordField.cutCopyAllowed" class="java.lang.Boolean" />
20     </properties>
21     <properties class="javax.swing.JSlider">
22       <property name="Slider.paintThumbArrowShape" class="java.lang.Boolean" />
23       <property name="JSlider.isFilled" class="java.lang.Boolean" />
24     </properties>
25     <properties class="javax.swing.JTable">
26       <property name="Table.isFileList" class="java.lang.Boolean" />
27       <property name="JTable.autoStartsEdit" class="java.lang.Boolean" />
28       <property name="terminateEditOnFocusLost" class="java.lang.Boolean" />
29     </properties>
30     <properties class="javax.swing.JToolBar">
31       <property name="JToolBar.isRollover" class="java.lang.Boolean" />
32     </properties>
33     <properties class="javax.swing.JTree">
34       <property name="JTree.lineStyle" class="java.lang.String" />
35     </properties>
36     <properties class="javax.swing.text.JTextComponent">
37       <property name="caretAspectRatio" class="java.lang.Double" />
38       <property name="caretWidth" class="java.lang.Integer" />
39     </properties>
40   </component>
41   <component name="EntryPointsManager">
42     <entry_points version="2.0" />
43   </component>
44   <component name="ProjectLevelVcsManager" settingsEditedManually="false">
45     <OptionsSetting value="true" id="Add" />
46     <OptionsSetting value="true" id="Remove" />
47     <OptionsSetting value="true" id="Checkout" />
48     <OptionsSetting value="true" id="Update" />
49     <OptionsSetting value="true" id="Status" />
50     <OptionsSetting value="true" id="Edit" />
51     <ConfirmationsSetting value="0" id="Add" />
52     <ConfirmationsSetting value="0" id="Remove" />
53   </component>
54   <component name="ProjectRootManager" version="2" languageLevel="JDK_1_8" default="false" assert-keyword="true" jdk-15="true" project-jdk-name="1.8" project-jdk-type="JavaSDK">
55     <output url="file://$PROJECT_DIR$/build" />
56   </component>
57 </project>