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();
 }