void onUISettingsChanged() { editorPane.repaint(); linesActions.onUISettingsChanged(); actionsScrollPane.revalidate(); actionsScrollPane.repaint(); revalidate(); repaint(); }