コード例 #1
0
ファイル: GUICommands.java プロジェクト: JosuaKrause/basex
 @Override
 public void refresh(final GUI gui, final AbstractButton b) {
   super.refresh(gui, b);
   b.setSelected(gui.gprop.is(GUIProp.FILTERRT));
 }
コード例 #2
0
ファイル: GUICommands.java プロジェクト: JosuaKrause/basex
 @Override
 public void refresh(final GUI gui, final AbstractButton b) {
   super.refresh(gui, b);
   b.setSelected(gui.fullscreen);
 }