mirror of
https://github.com/christiaangoossens/Planetary-Orbit-Simulator
synced 2024-11-25 04:14:09 +00:00
75 lines
3.1 KiB
XML
75 lines
3.1 KiB
XML
|
<?xml version="1.0" encoding="UTF-8"?>
|
||
|
<project version="4">
|
||
|
<component name="ClientPropertiesManager">
|
||
|
<properties class="javax.swing.AbstractButton">
|
||
|
<property name="hideActionText" class="java.lang.Boolean" />
|
||
|
</properties>
|
||
|
<properties class="javax.swing.JComponent">
|
||
|
<property name="html.disable" class="java.lang.Boolean" />
|
||
|
</properties>
|
||
|
<properties class="javax.swing.JEditorPane">
|
||
|
<property name="JEditorPane.w3cLengthUnits" class="java.lang.Boolean" />
|
||
|
<property name="JEditorPane.honorDisplayProperties" class="java.lang.Boolean" />
|
||
|
<property name="charset" class="java.lang.String" />
|
||
|
</properties>
|
||
|
<properties class="javax.swing.JList">
|
||
|
<property name="List.isFileList" class="java.lang.Boolean" />
|
||
|
</properties>
|
||
|
<properties class="javax.swing.JPasswordField">
|
||
|
<property name="JPasswordField.cutCopyAllowed" class="java.lang.Boolean" />
|
||
|
</properties>
|
||
|
<properties class="javax.swing.JSlider">
|
||
|
<property name="Slider.paintThumbArrowShape" class="java.lang.Boolean" />
|
||
|
<property name="JSlider.isFilled" class="java.lang.Boolean" />
|
||
|
</properties>
|
||
|
<properties class="javax.swing.JTable">
|
||
|
<property name="Table.isFileList" class="java.lang.Boolean" />
|
||
|
<property name="JTable.autoStartsEdit" class="java.lang.Boolean" />
|
||
|
<property name="terminateEditOnFocusLost" class="java.lang.Boolean" />
|
||
|
</properties>
|
||
|
<properties class="javax.swing.JToolBar">
|
||
|
<property name="JToolBar.isRollover" class="java.lang.Boolean" />
|
||
|
</properties>
|
||
|
<properties class="javax.swing.JTree">
|
||
|
<property name="JTree.lineStyle" class="java.lang.String" />
|
||
|
</properties>
|
||
|
<properties class="javax.swing.text.JTextComponent">
|
||
|
<property name="caretAspectRatio" class="java.lang.Double" />
|
||
|
<property name="caretWidth" class="java.lang.Integer" />
|
||
|
</properties>
|
||
|
</component>
|
||
|
<component name="MavenImportPreferences">
|
||
|
<option name="generalSettings">
|
||
|
<MavenGeneralSettings>
|
||
|
<option name="mavenHome" value="Bundled (Maven 3)" />
|
||
|
</MavenGeneralSettings>
|
||
|
</option>
|
||
|
</component>
|
||
|
<component name="ProjectLevelVcsManager" settingsEditedManually="false">
|
||
|
<OptionsSetting value="true" id="Add" />
|
||
|
<OptionsSetting value="true" id="Remove" />
|
||
|
<OptionsSetting value="true" id="Checkout" />
|
||
|
<OptionsSetting value="true" id="Update" />
|
||
|
<OptionsSetting value="true" id="Status" />
|
||
|
<OptionsSetting value="true" id="Edit" />
|
||
|
<ConfirmationsSetting value="0" id="Add" />
|
||
|
<ConfirmationsSetting value="0" id="Remove" />
|
||
|
</component>
|
||
|
<component name="ProjectRootManager" version="2" languageLevel="JDK_1_3" default="true" assert-keyword="false" jdk-15="false" />
|
||
|
<component name="masterDetails">
|
||
|
<states>
|
||
|
<state key="ProjectJDKs.UI">
|
||
|
<settings>
|
||
|
<last-edited>1.8</last-edited>
|
||
|
<splitter-proportions>
|
||
|
<option name="proportions">
|
||
|
<list>
|
||
|
<option value="0.2" />
|
||
|
</list>
|
||
|
</option>
|
||
|
</splitter-proportions>
|
||
|
</settings>
|
||
|
</state>
|
||
|
</states>
|
||
|
</component>
|
||
|
</project>
|