📄 editorhelpcommand.java
字号:
/* * EditorHelpCommand.java * * Created on 14 September 2006, 01:02 * * To change this template, choose Tools | Template Manager * and open the template in the editor. */package org.executequery.actions.othercommands;import org.executequery.actions.helpcommands.HelpCommand;/** * Contextual help for the Query Editor. * * @author Takis Diakoumis * @version $Revision: 1.1 $ * @date $Date: 2006/09/13 15:15:37 $ */public class EditorHelpCommand extends HelpCommand { /** Creates a new instance of EditorHelpCommand */ public EditorHelpCommand() { super("query-editor"); } }
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -