mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
Fix jumping of plugins with long names
This commit is contained in:
@@ -54,7 +54,10 @@
|
||||
<constraints>
|
||||
<splitpane position="right"/>
|
||||
</constraints>
|
||||
<properties/>
|
||||
<properties>
|
||||
<minimumSize width="50" height="50"/>
|
||||
<preferredSize width="300" height="200"/>
|
||||
</properties>
|
||||
<border type="none">
|
||||
<size top="2" left="4" bottom="2" right="4"/>
|
||||
</border>
|
||||
@@ -91,7 +94,10 @@
|
||||
<constraints>
|
||||
<splitpane position="left"/>
|
||||
</constraints>
|
||||
<properties/>
|
||||
<properties>
|
||||
<minimumSize width="50" height="50"/>
|
||||
<preferredSize width="300" height="200"/>
|
||||
</properties>
|
||||
<border type="none"/>
|
||||
<children/>
|
||||
</grid>
|
||||
|
||||
Reference in New Issue
Block a user