Beispiel #1
0
 @Override
 public void refresh(final GUI gui, final AbstractButton b) {
   b.setEnabled(gui.context.data() != null && !gui.context.root());
 }
Beispiel #2
0
 @Override
 public void refresh(final GUI gui, final AbstractButton b) {
   b.setEnabled(!data || gui.context.data() != null);
 }
Beispiel #3
0
 @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);
 }
Beispiel #4
0
 @Override
 public void refresh(final GUI gui, final AbstractButton b) {
   b.setEnabled(
       !gui.gprop.is(GUIProp.FILTERRT) && gui.context.data() != null && !gui.context.root());
 }
Beispiel #5
0
 @Override
 public void refresh(final GUI gui, final AbstractButton b) {
   b.setEnabled(updatable(gui.context.marked, Data.DOC));
 }
Beispiel #6
0
 @Override
 public void refresh(final GUI gui, final AbstractButton b) {
   final Nodes marked = gui.context.marked;
   b.setEnabled(marked != null && marked.size() != 0);
 }
Beispiel #7
0
 @Override
 public void refresh(final GUI gui, final AbstractButton b) {
   b.setEnabled(updatable(gui.context.marked, Data.ATTR, Data.PI, Data.COMM, Data.TEXT));
 }
Beispiel #8
0
 @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));
 }
Beispiel #9
0
 @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);
 }
Beispiel #10
0
 @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);
 }
Beispiel #11
0
 @Override
 public void refresh(final GUI gui, final AbstractButton b) {
   b.setEnabled(gui.editor != null && gui.editor.modified());
 }