mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
rename
This commit is contained in:
+1
-1
@@ -17,7 +17,7 @@
|
||||
<preferredSize width="250" height="150"/>
|
||||
</properties>
|
||||
<clientProperties>
|
||||
<BorderFactoryClass class="java.lang.String" value="com.intellij.ui.IdeBorderFactory$SimpleWithIndent"/>
|
||||
<BorderFactoryClass class="java.lang.String" value="com.intellij.ui.IdeBorderFactory$PlainWithIndent"/>
|
||||
</clientProperties>
|
||||
<border type="etched" title="Module Settings"/>
|
||||
<children>
|
||||
|
||||
Reference in New Issue
Block a user