Java SearchPanel.refreshLayoutの例

コード例 #1

ファイル: EditorView.java プロジェクト: rostam/basex

 @Override
 public void refreshLayout() {
   header.setFont(GUIConstants.lfont);
   for (final EditorArea edit : editors()) edit.setFont(GUIConstants.mfont);
   search.refreshLayout();
 }