📄 jwpreferences.java
字号:
// JWPreferences.java// $Id: JWPreferences.java,v 1.20 2001/02/15 15:53:37 ylafon Exp $// (c) COPYRIGHT MIT, INRIA and Keio, 1999.// Please first read the full copyright statement in file COPYRIGHT.htmlpackage org.w3c.jwput.gui;import java.util.Arrays;import java.util.Collections;import java.util.List;import java.util.Hashtable;import java.util.Vector;import java.util.Properties;import java.util.Enumeration;import java.util.StringTokenizer;import java.awt.BorderLayout;import java.awt.CardLayout;import java.awt.Component;import java.awt.Container;import java.awt.Insets;import java.awt.Frame;import java.awt.GridLayout;import java.awt.GridBagLayout;import java.awt.GridBagConstraints;import java.awt.event.ActionListener;import java.awt.event.ActionEvent;import java.awt.event.ItemListener;import java.awt.event.ItemEvent;import javax.swing.BoxLayout;import javax.swing.JButton;import javax.swing.JCheckBox;import javax.swing.JComponent;import javax.swing.JComboBox;import javax.swing.JDialog;import javax.swing.JLabel;import javax.swing.JList;import javax.swing.ListModel;import javax.swing.AbstractListModel;import javax.swing.JPanel;import javax.swing.JPasswordField;import javax.swing.JScrollPane;import javax.swing.BorderFactory;import javax.swing.SwingUtilities;import javax.swing.JTextField;import javax.swing.JRadioButton;import javax.swing.ButtonGroup;import javax.swing.event.ListSelectionListener;import javax.swing.event.ListSelectionEvent;import org.w3c.tools.widgets.Utilities;import org.w3c.tools.codec.Base64Encoder;import org.w3c.tools.codec.Base64Decoder;import org.w3c.tools.codec.Base64FormatException;import org.w3c.www.mime.Utils;import org.w3c.jwput.JWOptions;/** * Dialog allowing user to set his preferences * @version $Revision: 1.20 $ * @author Beno顃 Mah
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -