202 lines
11 KiB
XML
202 lines
11 KiB
XML
<?xml version="1.0" encoding="UTF-8"?>
|
|
<project version="4">
|
|
<component name="ChangeListManager">
|
|
<list default="true" id="6e7a9d99-3e6a-452b-9a27-b69955504578" name="Default" comment="" />
|
|
<ignored path="vdmAPI.iws" />
|
|
<ignored path=".idea/workspace.xml" />
|
|
<option name="EXCLUDED_CONVERTED_TO_IGNORED" value="true" />
|
|
<option name="TRACKING_ENABLED" value="true" />
|
|
<option name="SHOW_DIALOG" value="false" />
|
|
<option name="HIGHLIGHT_CONFLICTS" value="true" />
|
|
<option name="HIGHLIGHT_NON_ACTIVE_CHANGELIST" value="false" />
|
|
<option name="LAST_RESOLUTION" value="IGNORE" />
|
|
</component>
|
|
<component name="ChangesViewManager" flattened_view="true" show_ignored="false" />
|
|
<component name="CreatePatchCommitExecutor">
|
|
<option name="PATCH_PATH" value="" />
|
|
</component>
|
|
<component name="ExecutionTargetManager" SELECTED_TARGET="default_target" />
|
|
<component name="FavoritesManager">
|
|
<favorites_list name="vdmAPI" />
|
|
</component>
|
|
<component name="FileEditorManager">
|
|
<leaf>
|
|
<file leaf-file-name="main.py" pinned="false" current-in-tab="false">
|
|
<entry file="file://$PROJECT_DIR$/main.py">
|
|
<provider selected="true" editor-type-id="text-editor">
|
|
<state vertical-scroll-proportion="0.0">
|
|
<caret line="8" column="0" selection-start-line="8" selection-start-column="0" selection-end-line="8" selection-end-column="0" />
|
|
<folding />
|
|
</state>
|
|
</provider>
|
|
</entry>
|
|
</file>
|
|
<file leaf-file-name="Display.py" pinned="false" current-in-tab="true">
|
|
<entry file="file://$PROJECT_DIR$/VDMAPI/Display.py">
|
|
<provider selected="true" editor-type-id="text-editor">
|
|
<state vertical-scroll-proportion="0.7576737">
|
|
<caret line="64" column="28" selection-start-line="64" selection-start-column="28" selection-end-line="64" selection-end-column="28" />
|
|
<folding>
|
|
<element signature="e#0#20#0" expanded="true" />
|
|
</folding>
|
|
</state>
|
|
</provider>
|
|
</entry>
|
|
</file>
|
|
</leaf>
|
|
</component>
|
|
<component name="Git.Settings">
|
|
<option name="RECENT_GIT_ROOT_PATH" value="$PROJECT_DIR$" />
|
|
</component>
|
|
<component name="IdeDocumentHistory">
|
|
<option name="CHANGED_PATHS">
|
|
<list>
|
|
<option value="$PROJECT_DIR$/VDMAPI/Display.py" />
|
|
</list>
|
|
</option>
|
|
</component>
|
|
<component name="NamedScopeManager">
|
|
<order />
|
|
</component>
|
|
<component name="ProjectFrameBounds">
|
|
<option name="y" value="19" />
|
|
<option name="width" value="1366" />
|
|
<option name="height" value="730" />
|
|
</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="ProjectView">
|
|
<navigator currentView="ProjectPane" proportions="" version="1">
|
|
<flattenPackages />
|
|
<showMembers />
|
|
<showModules />
|
|
<showLibraryContents />
|
|
<hideEmptyPackages />
|
|
<abbreviatePackageNames />
|
|
<autoscrollToSource />
|
|
<autoscrollFromSource />
|
|
<sortByType />
|
|
</navigator>
|
|
<panes>
|
|
<pane id="Scratches" />
|
|
<pane id="Scope" />
|
|
<pane id="ProjectPane">
|
|
<subPane>
|
|
<PATH>
|
|
<PATH_ELEMENT>
|
|
<option name="myItemId" value="vdmAPI" />
|
|
<option name="myItemType" value="com.intellij.ide.projectView.impl.nodes.ProjectViewProjectNode" />
|
|
</PATH_ELEMENT>
|
|
</PATH>
|
|
<PATH>
|
|
<PATH_ELEMENT>
|
|
<option name="myItemId" value="vdmAPI" />
|
|
<option name="myItemType" value="com.intellij.ide.projectView.impl.nodes.ProjectViewProjectNode" />
|
|
</PATH_ELEMENT>
|
|
<PATH_ELEMENT>
|
|
<option name="myItemId" value="vdmAPI" />
|
|
<option name="myItemType" value="com.intellij.ide.projectView.impl.nodes.PsiDirectoryNode" />
|
|
</PATH_ELEMENT>
|
|
</PATH>
|
|
<PATH>
|
|
<PATH_ELEMENT>
|
|
<option name="myItemId" value="vdmAPI" />
|
|
<option name="myItemType" value="com.intellij.ide.projectView.impl.nodes.ProjectViewProjectNode" />
|
|
</PATH_ELEMENT>
|
|
<PATH_ELEMENT>
|
|
<option name="myItemId" value="vdmAPI" />
|
|
<option name="myItemType" value="com.intellij.ide.projectView.impl.nodes.PsiDirectoryNode" />
|
|
</PATH_ELEMENT>
|
|
<PATH_ELEMENT>
|
|
<option name="myItemId" value="VDMAPI" />
|
|
<option name="myItemType" value="com.intellij.ide.projectView.impl.nodes.PsiDirectoryNode" />
|
|
</PATH_ELEMENT>
|
|
</PATH>
|
|
</subPane>
|
|
</pane>
|
|
</panes>
|
|
</component>
|
|
<component name="PropertiesComponent">
|
|
<property name="last_opened_file_path" value="$PROJECT_DIR$" />
|
|
</component>
|
|
<component name="ShelveChangesManager" show_recycled="false" />
|
|
<component name="SvnConfiguration">
|
|
<configuration />
|
|
</component>
|
|
<component name="TaskManager">
|
|
<task active="true" id="Default" summary="Default task">
|
|
<changelist id="6e7a9d99-3e6a-452b-9a27-b69955504578" name="Default" comment="" />
|
|
<created>1468084486688</created>
|
|
<option name="number" value="Default" />
|
|
<updated>1468084486688</updated>
|
|
</task>
|
|
<servers />
|
|
</component>
|
|
<component name="ToolWindowManager">
|
|
<frame x="0" y="19" width="1366" height="730" extended-state="6" />
|
|
<editor active="false" />
|
|
<layout>
|
|
<window_info id="Project" active="false" anchor="left" auto_hide="false" internal_type="DOCKED" type="DOCKED" visible="true" weight="0.20204978" sideWeight="0.5" order="0" side_tool="false" content_ui="combo" />
|
|
<window_info id="TODO" active="false" anchor="bottom" auto_hide="false" internal_type="DOCKED" type="DOCKED" visible="false" weight="0.33" sideWeight="0.5" order="6" side_tool="false" content_ui="tabs" />
|
|
<window_info id="Event Log" active="false" anchor="bottom" auto_hide="false" internal_type="DOCKED" type="DOCKED" visible="false" weight="0.33" sideWeight="0.5" order="-1" side_tool="true" content_ui="tabs" />
|
|
<window_info id="Application Servers" active="false" anchor="bottom" auto_hide="false" internal_type="DOCKED" type="DOCKED" visible="false" weight="0.33" sideWeight="0.5" order="-1" side_tool="false" content_ui="tabs" />
|
|
<window_info id="Python Console" active="false" anchor="bottom" auto_hide="false" internal_type="DOCKED" type="DOCKED" visible="false" weight="0.33" sideWeight="0.5" order="-1" side_tool="false" content_ui="tabs" />
|
|
<window_info id="Version Control" active="false" anchor="bottom" auto_hide="false" internal_type="DOCKED" type="DOCKED" visible="false" weight="0.33" sideWeight="0.5" order="-1" side_tool="false" content_ui="tabs" />
|
|
<window_info id="Structure" active="false" anchor="left" auto_hide="false" internal_type="DOCKED" type="DOCKED" visible="false" weight="0.25" sideWeight="0.5" order="1" side_tool="false" content_ui="tabs" />
|
|
<window_info id="Terminal" active="false" anchor="bottom" auto_hide="false" internal_type="DOCKED" type="DOCKED" visible="false" weight="0.33" sideWeight="0.5" order="-1" side_tool="false" content_ui="tabs" />
|
|
<window_info id="Favorites" active="false" anchor="left" auto_hide="false" internal_type="DOCKED" type="DOCKED" visible="false" weight="0.33" sideWeight="0.5" order="-1" side_tool="true" content_ui="tabs" />
|
|
<window_info id="Cvs" active="false" anchor="bottom" auto_hide="false" internal_type="DOCKED" type="DOCKED" visible="false" weight="0.25" sideWeight="0.5" order="4" side_tool="false" content_ui="tabs" />
|
|
<window_info id="Hierarchy" active="false" anchor="right" auto_hide="false" internal_type="DOCKED" type="DOCKED" visible="false" weight="0.25" sideWeight="0.5" order="2" side_tool="false" content_ui="combo" />
|
|
<window_info id="Message" active="false" anchor="bottom" auto_hide="false" internal_type="DOCKED" type="DOCKED" visible="false" weight="0.33" sideWeight="0.5" order="0" side_tool="false" content_ui="tabs" />
|
|
<window_info id="Commander" active="false" anchor="right" auto_hide="false" internal_type="SLIDING" type="SLIDING" visible="false" weight="0.4" sideWeight="0.5" order="0" side_tool="false" content_ui="tabs" />
|
|
<window_info id="Find" active="false" anchor="bottom" auto_hide="false" internal_type="DOCKED" type="DOCKED" visible="false" weight="0.33" sideWeight="0.5" order="1" side_tool="false" content_ui="tabs" />
|
|
<window_info id="Inspection" active="false" anchor="bottom" auto_hide="false" internal_type="DOCKED" type="DOCKED" visible="false" weight="0.4" sideWeight="0.5" order="5" side_tool="false" content_ui="tabs" />
|
|
<window_info id="Run" active="false" anchor="bottom" auto_hide="false" internal_type="DOCKED" type="DOCKED" visible="false" weight="0.33" sideWeight="0.5" order="2" side_tool="false" content_ui="tabs" />
|
|
<window_info id="Ant Build" active="false" anchor="right" auto_hide="false" internal_type="DOCKED" type="DOCKED" visible="false" weight="0.25" sideWeight="0.5" order="1" side_tool="false" content_ui="tabs" />
|
|
<window_info id="Debug" active="false" anchor="bottom" auto_hide="false" internal_type="DOCKED" type="DOCKED" visible="false" weight="0.4" sideWeight="0.5" order="3" side_tool="false" content_ui="tabs" />
|
|
</layout>
|
|
</component>
|
|
<component name="Vcs.Log.UiProperties">
|
|
<option name="RECENTLY_FILTERED_USER_GROUPS">
|
|
<collection />
|
|
</option>
|
|
<option name="RECENTLY_FILTERED_BRANCH_GROUPS">
|
|
<collection />
|
|
</option>
|
|
</component>
|
|
<component name="VcsContentAnnotationSettings">
|
|
<option name="myLimit" value="2678400000" />
|
|
</component>
|
|
<component name="XDebuggerManager">
|
|
<breakpoint-manager />
|
|
<watches-manager />
|
|
</component>
|
|
<component name="editorHistoryManager">
|
|
<entry file="file://$PROJECT_DIR$/main.py">
|
|
<provider selected="true" editor-type-id="text-editor">
|
|
<state vertical-scroll-proportion="0.0">
|
|
<caret line="8" column="0" selection-start-line="8" selection-start-column="0" selection-end-line="8" selection-end-column="0" />
|
|
<folding />
|
|
</state>
|
|
</provider>
|
|
</entry>
|
|
<entry file="file://$PROJECT_DIR$/VDMAPI/Display.py">
|
|
<provider selected="true" editor-type-id="text-editor">
|
|
<state vertical-scroll-proportion="0.7576737">
|
|
<caret line="64" column="28" selection-start-line="64" selection-start-column="28" selection-end-line="64" selection-end-column="28" />
|
|
<folding>
|
|
<element signature="e#0#20#0" expanded="true" />
|
|
</folding>
|
|
</state>
|
|
</provider>
|
|
</entry>
|
|
</component>
|
|
</project> |