[
{ "keys": ["shift+space"], "command": "move", "args": {"by": "characters", "forward": true} },
{ "keys": ["ctrl+j"], "command": "move", "args": {"by": "characters", "forward": false} }, { "keys": ["ctrl+l"], "command": "move", "args": {"by": "characters", "forward": true} }, { "keys": ["ctrl+i"], "command": "move", "args": {"by": "lines", "forward": false} }, { "keys": ["ctrl+k"], "command": "move", "args": {"by": "lines", "forward": true} },
{ "keys": ["ctrl+e"], "command": "move_to", "args": {"to": "eol", "extend": false} },
{ "keys": ["f12"], "command": "reindent"}
]
<script> $(function(){ // 自動更新 // ------------------------------------------------------------ // 一定時間経過後に実行される関数 // ------------------------------------------------------------ function TimeoutFunc(){ window.location.href = ''; // 通常の遷移 } // ------------------------------------------------------------ // 5000 ミリ秒経過後に、関数を実行する // ------------------------------------------------------------ var dt_sec = 5; var timeout_id = setTimeout(TimeoutFunc , dt_sec*1000); }) </script>