focus indication border (or background) no longer hidden when temporary loosing focus (e.g. showing a popup menu)

This commit is contained in:
Karl Tauber
2020-04-20 11:27:29 +02:00
parent 2e1acb7871
commit a2b615d4a7
14 changed files with 35 additions and 26 deletions

View File

@@ -216,7 +216,7 @@ public class FlatJideTabbedPaneUI
g.setColor( enabled && _tabPane.isEnabledAt( tabIndex ) &&
(_indexMouseOver == tabIndex || (_closeButtons != null && ((JideTabbedPane.NoFocusButton)_closeButtons[tabIndex]).isMouseOver()))
? hoverColor
: (enabled && isSelected && _tabPane.hasFocus()
: (enabled && isSelected && FlatUIUtils.isPermanentFocusOwner( _tabPane )
? focusColor
: _tabPane.getBackgroundAt( tabIndex )) );
g.fillRect( x, y, w, h );