📄 java.php
字号:
12 => '', ), 1 => array ( 0 => 'brackets', 1 => 'brackets', 2 => 'brackets', 3 => 'comment', 4 => 'quotes', 5 => 'quotes', 6 => 'comment', 7 => '', 8 => '', 9 => '', 10 => '', 11 => '', 12 => '', ), 2 => array ( 0 => 'brackets', 1 => 'brackets', 2 => 'brackets', 3 => 'comment', 4 => 'quotes', 5 => 'quotes', 6 => 'comment', 7 => '', 8 => '', 9 => '', 10 => '', 11 => '', 12 => '', ), 3 => array ( 0 => '', 1 => '', 2 => '', 3 => '', 4 => '', ), 4 => array ( 0 => '', ), 5 => array ( 0 => '', ), 6 => array ( 0 => '', 1 => '', 2 => '', 3 => '', 4 => '', ), ); $this->_inner = array ( -1 => array ( 0 => 'code', 1 => 'code', 2 => 'code', 3 => 'comment', 4 => 'string', 5 => 'string', 6 => 'comment', 7 => 'identifier', 8 => 'number', 9 => 'number', 10 => 'number', 11 => 'number', 12 => 'number', ), 0 => array ( 0 => 'code', 1 => 'code', 2 => 'code', 3 => 'comment', 4 => 'string', 5 => 'string', 6 => 'comment', 7 => 'identifier', 8 => 'number', 9 => 'number', 10 => 'number', 11 => 'number', 12 => 'number', ), 1 => array ( 0 => 'code', 1 => 'code', 2 => 'code', 3 => 'comment',
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -