|
|
@@ -3,6 +3,7 @@ |
|
|
<option name="settings"> |
|
|
<option name="settings"> |
|
|
<map> |
|
|
<map> |
|
|
<entry key="bigger.font.in.project.view" value="true" /> |
|
|
<entry key="bigger.font.in.project.view" value="true" /> |
|
|
|
|
|
<entry key="confirm.rerun.with.termination" value="false" /> |
|
|
<entry key="editor.skip.copy.and.cut.for.empty.selection" value="true" /> |
|
|
<entry key="editor.skip.copy.and.cut.for.empty.selection" value="true" /> |
|
|
<entry key="editor.tab.painting" value="ARROW" /> |
|
|
<entry key="editor.tab.painting" value="ARROW" /> |
|
|
</map> |
|
|
</map> |
|
|
|
