@Override
public void execute(final GUI gui) {
final boolean rt = gui.gprop.invert(GUIProp.FILTERRT);
gui.stop();
// refresh buttons in input bar
gui.refreshControls();
// refresh editor buttons
gui.editor.refreshMark();
final Context ctx = gui.context;
final boolean root = ctx.root();
final Data data = ctx.data();
if (!rt) {
if (!root) {
gui.notify.context(new Nodes(0, data), true, null);
gui.notify.mark(ctx.current(), null);
}
} else {
if (root) {
gui.notify.mark(new Nodes(data), null);
} else {
final Nodes mark = ctx.marked;
ctx.marked = new Nodes(data);
gui.notify.context(mark, true, null);
}
}
}
@Override
public void execute(final GUI gui) {
gui.gprop.invert(GUIProp.EXECRT);
gui.stop();
// refresh buttons in input bar
gui.refreshControls();
// refresh editor buttons
gui.editor.refreshMark();
}