예제 #1
0
 void onUISettingsChanged() {
   editorPane.repaint();
   linesActions.onUISettingsChanged();
   actionsScrollPane.revalidate();
   actionsScrollPane.repaint();
   revalidate();
   repaint();
 }