{ "keys": ["alt+keypad_minus"], "command": "jump_back" }
{ "keys": ["alt+shift+keypad_minus"], "command": "jump_forward" }
alt rather than ctrl!
{ "keys": ["alt+shift+keypad_minus"], "command": "jump_forward" }
alt rather than ctrl!
2015-03-31