Ejemplo n.º 1
0
 @Override
 public void refresh(final GUI gui, final AbstractButton b) {
   b.setEnabled(gui.context.data() != null && !gui.context.root());
 }
Ejemplo n.º 2
0
 @Override
 public void refresh(final GUI gui, final AbstractButton b) {
   b.setEnabled(!data || gui.context.data() != null);
 }
Ejemplo n.º 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);
 }
Ejemplo n.º 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());
 }
Ejemplo n.º 5
0
 @Override
 public void refresh(final GUI gui, final AbstractButton b) {
   b.setEnabled(updatable(gui.context.marked, Data.DOC));
 }
Ejemplo n.º 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);
 }
Ejemplo n.º 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));
 }
Ejemplo n.º 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));
 }
Ejemplo n.º 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);
 }
Ejemplo n.º 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);
 }
Ejemplo n.º 11
0
 @Override
 public void refresh(final GUI gui, final AbstractButton b) {
   b.setEnabled(gui.editor != null && gui.editor.modified());
 }