static Console.Command push() {
return command(new String[] {"push"}, (console, args) -> {
- Object obj = console.handleInput(String.join(" ", args));
+ Object obj = console.internalHandleInput(String.join(" ", 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);