Syntax editing on KivaController