public void setEnabled(boolean b) { main.setEnabled(b); popper.setEnabled(b); }
@Override public void refresh(final GUI main, final AbstractButton button) { button.setEnabled(clip() != null); }
@Override public void refresh(final GUI main, final AbstractButton button) { button.setEnabled(text.marked()); }
@Override public void refresh(final GUI main, final AbstractButton button) { button.setEnabled(!undo.last()); }