mirror of
https://github.com/2OOP/pism.git
synced 2026-02-04 10:54:51 +00:00
93 lines
3.8 KiB
XML
93 lines
3.8 KiB
XML
<?xml version="1.0" encoding="UTF-8"?>
|
|
<project version="4">
|
|
<component name="AutoImportSettings">
|
|
<option name="autoReloadType" value="SELECTIVE" />
|
|
</component>
|
|
<component name="ChangeListManager">
|
|
<list default="true" id="997b32da-b4d4-48ac-ab51-52d65f364f81" name="Changes" comment="">
|
|
<change beforePath="$PROJECT_DIR$/.idea/workspace.xml" beforeDir="false" afterPath="$PROJECT_DIR$/.idea/workspace.xml" afterDir="false" />
|
|
<change beforePath="$PROJECT_DIR$/src/main/java/org/toop/ConsoleGui.java" beforeDir="false" afterPath="$PROJECT_DIR$/src/main/java/org/toop/ConsoleGui.java" afterDir="false" />
|
|
</list>
|
|
<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="Git.Settings">
|
|
<option name="RECENT_GIT_ROOT_PATH" value="$PROJECT_DIR$" />
|
|
</component>
|
|
<component name="GitHubPullRequestSearchHistory"><![CDATA[{
|
|
"lastFilter": {
|
|
"state": "OPEN",
|
|
"assignee": "BAFGdeJong"
|
|
}
|
|
}]]></component>
|
|
<component name="GithubPullRequestsUISettings"><![CDATA[{
|
|
"selectedUrlAndAccountId": {
|
|
"url": "git@github.com:2OOP/pism_ttt.git",
|
|
"accountId": "7694f583-f911-4763-8185-8ea3ed608804"
|
|
}
|
|
}]]></component>
|
|
<component name="ProjectColorInfo"><![CDATA[{
|
|
"customColor": "",
|
|
"associatedIndex": 1
|
|
}]]></component>
|
|
<component name="ProjectId" id="32pVUB4kZJjWp5yY5oJOqsrZhDL" />
|
|
<component name="ProjectViewState">
|
|
<option name="hideEmptyMiddlePackages" value="true" />
|
|
<option name="showLibraryContents" value="true" />
|
|
</component>
|
|
<component name="PropertiesComponent"><![CDATA[{
|
|
"keyToString": {
|
|
"Application.Main.executor": "Run",
|
|
"ModuleVcsDetector.initialDetectionPerformed": "true",
|
|
"RunOnceActivity.ShowReadmeOnStart": "true",
|
|
"RunOnceActivity.TerminalTabsStorage.copyFrom.TerminalArrangementManager": "true",
|
|
"RunOnceActivity.git.unshallow": "true",
|
|
"git-widget-placeholder": "ServerManager",
|
|
"node.js.detected.package.eslint": "true",
|
|
"node.js.detected.package.tslint": "true",
|
|
"node.js.selected.package.eslint": "(autodetect)",
|
|
"node.js.selected.package.tslint": "(autodetect)",
|
|
"nodejs_package_manager_path": "npm",
|
|
"vue.rearranger.settings.migration": "true"
|
|
}
|
|
}]]></component>
|
|
<component name="RunManager">
|
|
<configuration name="Main" type="Application" factoryName="Application" nameIsGenerated="true">
|
|
<option name="MAIN_CLASS_NAME" value="org.toop.Main" />
|
|
<module name="pism" />
|
|
<extension name="coverage">
|
|
<pattern>
|
|
<option name="PATTERN" value="org.toop.*" />
|
|
<option name="ENABLED" value="true" />
|
|
</pattern>
|
|
</extension>
|
|
<method v="2">
|
|
<option name="Make" enabled="true" />
|
|
</method>
|
|
</configuration>
|
|
</component>
|
|
<component name="SharedIndexes">
|
|
<attachedChunks>
|
|
<set>
|
|
<option value="bundled-jdk-9823dce3aa75-fbdcb00ec9e3-intellij.indexing.shared.core-IU-251.26927.53" />
|
|
<option value="bundled-js-predefined-d6986cc7102b-09060db00ec0-JavaScript-IU-251.26927.53" />
|
|
</set>
|
|
</attachedChunks>
|
|
</component>
|
|
<component name="TaskManager">
|
|
<task active="true" id="Default" summary="Default task">
|
|
<changelist id="997b32da-b4d4-48ac-ab51-52d65f364f81" name="Changes" comment="" />
|
|
<created>1758117514311</created>
|
|
<option name="number" value="Default" />
|
|
<option name="presentableId" value="Default" />
|
|
<updated>1758117514311</updated>
|
|
<workItem from="1758117515668" duration="5345000" />
|
|
</task>
|
|
<servers />
|
|
</component>
|
|
<component name="TypeScriptGeneratedFilesManager">
|
|
<option name="version" value="3" />
|
|
</component>
|
|
</project> |