(boolean merge)
| 1409 | |
| 1410 | /// {@inheritDoc} |
| 1411 | @Override |
| 1412 | public void refreshTheme(boolean merge) { |
| 1413 | super.refreshTheme(merge); |
| 1414 | UIManager manager = parent.getUIManager(); |
| 1415 | if (menuStyle.isModified() && merge) { |
| 1416 | menuStyle.merge(manager.getComponentStyle("Menu")); |
| 1417 | } else { |
| 1418 | menuStyle = manager.getComponentStyle("Menu"); |
| 1419 | } |
| 1420 | if (menuCellRenderer != null) { |
| 1421 | List tmp = new List(); |
| 1422 | tmp.setListCellRenderer(menuCellRenderer); |
| 1423 | tmp.refreshTheme(merge); |
| 1424 | } |
| 1425 | for (Button button : soft) { |
| 1426 | updateSoftButtonStyle(button); |
| 1427 | } |
| 1428 | |
| 1429 | revalidate(); |
| 1430 | } |
| 1431 | |
| 1432 | /*private void fixCommandAlignment() { |
| 1433 | if (left != null) { |
nothing calls this directly
no test coverage detected