static Console.Command push() {
return command(new String[] {"push"}, (console, args) -> {
static Console.Command push() {
return command(new String[] {"push"}, (console, args) -> {
if (obj instanceof Mode) { // obj could be anything, which should be fixed
console.out("pushing mode " + obj.getClass().getSimpleName());
console.getCakelight().pushMode((Mode) obj);
if (obj instanceof Mode) { // obj could be anything, which should be fixed
console.out("pushing mode " + obj.getClass().getSimpleName());
console.getCakelight().pushMode((Mode) obj);