📄 helptool.java
字号:
/* * JRemCntl - Copyright (C) 2007 Filippo Di Vattimo <fildiv@gmail.com> * See COPYING */package fildiv.jremcntl.server.core;import java.net.URL;import javax.help.CSH;import javax.help.HelpBroker;import javax.help.HelpSet;import javax.swing.JMenuItem;import fildiv.jremcntl.common.core.JRemRuntimeException;public class HelpTool { private Environment env; private HelpSet hs; private HelpBroker hb; public HelpTool(Environment env) { hs = getHelpSet("jh/jremcntl.hs"); hb = hs.createHelpBroker(); } public void assign(JMenuItem menuItem, String topic) { CSH.setHelpIDString(menuItem, topic); menuItem.addActionListener( new CSH.DisplayHelpFromSource(hb)); } public HelpSet getHelpSet(String helpsetfile) { HelpSet hs = null; ClassLoader cl = this.getClass().getClassLoader(); try { URL hsURL = HelpSet.findHelpSet(cl, helpsetfile); hs = new HelpSet(null, hsURL); } catch (Exception e) { throw new JRemRuntimeException(e); } return hs; }}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -