コード例 #1
0
ファイル: GUICommands.java プロジェクト: JosuaKrause/basex
 @Override
 public void refresh(final GUI gui, final AbstractButton b) {
   b.setEnabled(gui.context.data() != null && !gui.context.root());
 }
コード例 #2
0
ファイル: GUICommands.java プロジェクト: JosuaKrause/basex
 @Override
 public void refresh(final GUI gui, final AbstractButton b) {
   b.setEnabled(!data || gui.context.data() != null);
 }
コード例 #3
0
ファイル: GUICommands.java プロジェクト: JosuaKrause/basex
 @Override
 public void refresh(final GUI gui, final AbstractButton b) {
   final String tt = gui.notify.query(false);
   b.setEnabled(tt != null);
   b.setToolTipText(tt != null && tt.isEmpty() ? C_GOFORWARD.help : tt);
 }
コード例 #4
0
ファイル: GUICommands.java プロジェクト: JosuaKrause/basex
 @Override
 public void refresh(final GUI gui, final AbstractButton b) {
   b.setEnabled(
       !gui.gprop.is(GUIProp.FILTERRT) && gui.context.data() != null && !gui.context.root());
 }
コード例 #5
0
ファイル: GUICommands.java プロジェクト: JosuaKrause/basex
 @Override
 public void refresh(final GUI gui, final AbstractButton b) {
   super.refresh(gui, b);
   b.setSelected(gui.fullscreen);
 }
コード例 #6
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));
 }
コード例 #7
0
ファイル: GUICommands.java プロジェクト: JosuaKrause/basex
 @Override
 public void refresh(final GUI gui, final AbstractButton b) {
   b.setEnabled(updatable(gui.context.marked, Data.DOC));
 }
コード例 #8
0
ファイル: GUICommands.java プロジェクト: JosuaKrause/basex
 @Override
 public void refresh(final GUI gui, final AbstractButton b) {
   final Nodes marked = gui.context.marked;
   b.setEnabled(marked != null && marked.size() != 0);
 }
コード例 #9
0
ファイル: GUICommands.java プロジェクト: JosuaKrause/basex
 @Override
 public void refresh(final GUI gui, final AbstractButton b) {
   b.setEnabled(updatable(gui.context.marked, Data.ATTR, Data.PI, Data.COMM, Data.TEXT));
 }
コード例 #10
0
ファイル: GUICommands.java プロジェクト: JosuaKrause/basex
 @Override
 public void refresh(final GUI gui, final AbstractButton b) {
   // disallow deletion of empty node set or root node
   b.setEnabled(updatable(gui.context.marked));
 }
コード例 #11
0
ファイル: GUICommands.java プロジェクト: JosuaKrause/basex
 @Override
 public void refresh(final GUI gui, final AbstractButton b) {
   final Context ctx = gui.context;
   // disallow copy of empty node set or root node
   b.setEnabled(updatable(ctx.marked, Data.DOC) && ctx.copied != null);
 }
コード例 #12
0
ファイル: GUICommands.java プロジェクト: JosuaKrause/basex
 @Override
 public void refresh(final GUI gui, final AbstractButton b) {
   // disallow copy of empty node set or root node
   final Nodes marked = gui.context.marked;
   b.setEnabled(marked != null && marked.size() != 0);
 }
コード例 #13
0
ファイル: GUICommands.java プロジェクト: JosuaKrause/basex
 @Override
 public void refresh(final GUI gui, final AbstractButton b) {
   b.setEnabled(gui.editor != null && gui.editor.modified());
 }