JIDE: fixed JidePopup border

This commit is contained in:
Karl Tauber
2019-11-20 17:01:23 +01:00
parent 645be4bfa3
commit b129fe437c
5 changed files with 75 additions and 3 deletions

View File

@@ -67,8 +67,12 @@ public class FlatJideOssDefaultsAddon
for( Map.Entry<Object, Object> e : defaults.entrySet() ) {
Object key = e.getKey();
if( key instanceof String && ((String)key).startsWith( "Jide" ) )
if( key instanceof String &&
(((String)key).startsWith( "Jide" ) ||
((String)key).equals( "Resizable.resizeBorder" )) )
{
jideDefaults.put( key, e.getValue() );
}
}
}

View File

@@ -19,6 +19,11 @@
JideTabbedPaneUI=com.formdev.flatlaf.jideoss.ui.FlatJideTabbedPaneUI
#---- JidePopup ----
Resizable.resizeBorder=4,4,4,4,@@PopupMenu.borderColor
#---- JideTabbedPane ----
JideTabbedPane.background=@background