📄 swinggui.java
字号:
});
jMenuItem7.setText(System.getProperty("MENUITEM7_TXT"));
jMenuItem7.setMnemonic(System.getProperty("MENUITEM7_MNE").charAt(0));
try {
String s = System.getProperty("MENUITEM7_KS");
if (!s.equals("")) {
int ksp = new Integer(s).intValue();
s = System.getProperty("MENUITEM7_KSM");
int ksmp;
if (!s.equals("")) {
ksmp = new Integer(s).intValue();
} else {
ksmp = 0;
}
KeyStroke ks = KeyStroke.getKeyStroke(ksp, ksmp);
jMenuItem7.setAccelerator(ks);
}
} catch (Exception e) {
e.printStackTrace();
}
jMenuItem7.addActionListener(new java.awt.event.ActionListener() {
public void actionPerformed(ActionEvent e) {
jMenuItem7_actionPerformed(e);
}
});
jMenuItem8.setText(System.getProperty("MENUITEM8_TXT"));
jMenuItem8.setMnemonic(System.getProperty("MENUITEM8_MNE").charAt(0));
try {
String s = System.getProperty("MENUITEM8_KS");
if (!s.equals("")) {
int ksp = new Integer(s).intValue();
s = System.getProperty("MENUITEM8_KSM");
int ksmp;
if (!s.equals("")) {
ksmp = new Integer(s).intValue();
} else {
ksmp = 0;
}
KeyStroke ks = KeyStroke.getKeyStroke(ksp, ksmp);
jMenuItem8.setAccelerator(ks);
}
} catch (Exception e) {
e.printStackTrace();
}
jMenuItem8.addActionListener(new java.awt.event.ActionListener() {
public void actionPerformed(ActionEvent e) {
jMenuItem8_actionPerformed(e);
}
});
jMenuItem9.setText(System.getProperty("MENUITEM9_TXT"));
jMenuItem9.setMnemonic(System.getProperty("MENUITEM9_MNE").charAt(0));
try {
String s = System.getProperty("MENUITEM9_KS");
if (!s.equals("")) {
int ksp = new Integer(s).intValue();
s = System.getProperty("MENUITEM9_KSM");
int ksmp;
if (!s.equals("")) {
ksmp = new Integer(s).intValue();
} else {
ksmp = 0;
}
KeyStroke ks = KeyStroke.getKeyStroke(ksp, ksmp);
jMenuItem9.setAccelerator(ks);
}
} catch (Exception e) {
e.printStackTrace();
}
jMenuItem9.addActionListener(new java.awt.event.ActionListener() {
public void actionPerformed(ActionEvent e) {
jMenuItem9_actionPerformed(e);
}
});
jMenu3.setText(System.getProperty("MENU3_TXT"));
jMenu3.setMnemonic(System.getProperty("MENU3_MNE").charAt(0));
jMenu2.setText(System.getProperty("MENU2_TXT"));
jMenu2.setMnemonic(System.getProperty("MENU2_MNE").charAt(0));
jMenuItem10.setText(System.getProperty("MENUITEM10_TXT"));
jMenuItem10.setMnemonic(System.getProperty("MENUITEM10_MNE").charAt(0));
try {
String s = System.getProperty("MENUITEM10_KS");
if (!s.equals("")) {
int ksp = new Integer(s).intValue();
s = System.getProperty("MENUITEM10_KSM");
int ksmp;
if (!s.equals("")) {
ksmp = new Integer(s).intValue();
} else {
ksmp = 0;
}
KeyStroke ks = KeyStroke.getKeyStroke(ksp, ksmp);
jMenuItem10.setAccelerator(ks);
}
} catch (Exception e) {
e.printStackTrace();
}
jMenuItem10.addActionListener(new java.awt.event.ActionListener() {
public void actionPerformed(ActionEvent e) {
jMenuItem10_actionPerformed(e);
}
});
jMenuItem11.setText(System.getProperty("MENUITEM11_TXT"));
jMenuItem11.setMnemonic(System.getProperty("MENUITEM11_MNE").charAt(0));
try {
String s = System.getProperty("MENUITEM11_KS");
if (!s.equals("")) {
int ksp = new Integer(s).intValue();
s = System.getProperty("MENUITEM11_KSM");
int ksmp;
if (!s.equals("")) {
ksmp = new Integer(s).intValue();
} else {
ksmp = 0;
}
KeyStroke ks = KeyStroke.getKeyStroke(ksp, ksmp);
jMenuItem11.setAccelerator(ks);
}
} catch (Exception e) {
e.printStackTrace();
}
jMenuItem11.addActionListener(new java.awt.event.ActionListener() {
public void actionPerformed(ActionEvent e) {
jMenuItem11_actionPerformed(e);
}
});
jMenuItem12.setText(System.getProperty("MENUITEM12_TXT"));
jMenuItem12.setMnemonic(System.getProperty("MENUITEM12_MNE").charAt(0));
try {
String s = System.getProperty("MENUITEM12_KS");
if (!s.equals("")) {
int ksp = new Integer(s).intValue();
s = System.getProperty("MENUITEM12_KSM");
int ksmp;
if (!s.equals("")) {
ksmp = new Integer(s).intValue();
} else {
ksmp = 0;
}
KeyStroke ks = KeyStroke.getKeyStroke(ksp, ksmp);
jMenuItem12.setAccelerator(ks);
}
} catch (Exception e) {
e.printStackTrace();
}
jMenuItem12.addActionListener(new java.awt.event.ActionListener() {
public void actionPerformed(ActionEvent e) {
jMenuItem12_actionPerformed(e);
}
});
jMenuItem13.setText(System.getProperty("MENUITEM13_TXT"));
jMenuItem13.setMnemonic(System.getProperty("MENUITEM13_MNE").charAt(0));
try {
String s = System.getProperty("MENUITEM13_KS");
if (!s.equals("")) {
int ksp = new Integer(s).intValue();
s = System.getProperty("MENUITEM13_KSM");
int ksmp;
if (!s.equals("")) {
ksmp = new Integer(s).intValue();
} else {
ksmp = 0;
}
KeyStroke ks = KeyStroke.getKeyStroke(ksp, ksmp);
jMenuItem13.setAccelerator(ks);
}
} catch (Exception e) {
e.printStackTrace();
}
jMenuItem13.addActionListener(new java.awt.event.ActionListener() {
public void actionPerformed(ActionEvent e) {
jMenuItem13_actionPerformed(e);
}
});
jMenuItem13.setText(System.getProperty("MENUITEM13_TXT"));
jMenuItem13.setMnemonic(System.getProperty("MENUITEM13_MNE").charAt(0));
try {
String s = System.getProperty("MENUITEM13_KS");
if (!s.equals("")) {
int ksp = new Integer(s).intValue();
s = System.getProperty("MENUITEM13_KSM");
int ksmp;
if (!s.equals("")) {
ksmp = new Integer(s).intValue();
} else {
ksmp = 0;
}
KeyStroke ks = KeyStroke.getKeyStroke(ksp, ksmp);
jMenuItem13.setAccelerator(ks);
}
} catch (Exception e) {
e.printStackTrace();
}
jMenuItem13.addActionListener(new java.awt.event.ActionListener() {
public void actionPerformed(ActionEvent e) {
jMenuItem13_actionPerformed(e);
}
});
jMenuItem14.setText(System.getProperty("MENUITEM14_TXT"));
jMenuItem14.setMnemonic(System.getProperty("MENUITEM14_MNE").charAt(0));
try {
String s = System.getProperty("MENUITEM14_KS");
if (!s.equals("")) {
int ksp = new Integer(s).intValue();
s = System.getProperty("MENUITEM14_KSM");
int ksmp;
if (!s.equals("")) {
ksmp = new Integer(s).intValue();
} else {
ksmp = 0;
}
KeyStroke ks = KeyStroke.getKeyStroke(ksp, ksmp);
jMenuItem14.setAccelerator(ks);
}
} catch (Exception e) {
e.printStackTrace();
}
jMenuItem14.addActionListener(new java.awt.event.ActionListener() {
public void actionPerformed(ActionEvent e) {
jMenuItem14_actionPerformed(e);
}
});
jFileChooser1 = new JFileChooser(System.getProperty("FILE_DIALOG_PATH"));
jFileChooser1.setFileFilter(new javax.swing.filechooser.FileFilter() {
public boolean accept(File f) {
if (f.isDirectory()) {
return true;
}
// msw - MathLib SwingGUI Workspace
if (f.getName().endsWith(System.getProperty("MSW_EXT"))) {
return true;
}
return false;
}
public String getDescription() {
return System.getProperty("MSW_DESC");
}
});
jMenuItem15.addActionListener(new ActionListener() {
public void actionPerformed(ActionEvent e) {
jMenuItem15_actionPerformed(e);
}
});
jMenuItem16.addActionListener(new ActionListener() {
public void actionPerformed(ActionEvent e) {
jMenuItem16_actionPerformed(e);
}
});
jMenuBar1.add(jMenu1);
jMenuBar1.add(jMenu2);
jMenuBar1.add(jMenu5);
jMenuBar1.add(jMenu3);
jMenuBar1.add(jMenu4);
jMenu1.add(jMenuItem2);
jMenu1.add(jMenuItem3);
jMenu1.add(jMenuItem4);
jMenu1.add(jMenuItem5);
jMenu1.addSeparator();
jMenu1.add(jMenuItem14);
jMenu1.add(jMenuItem1);
jMenu4.add(jMenuItem9);
jMenu4.add(jMenuItem8);
jMenu4.addSeparator();
jMenu4.add(jMenuItem7);
jMenu4.add(jMenuItem6);
jMenu5.add(jMenuItem15);
jMenu5.addSeparator();
jMenu5.add(jMenuItem16);
if (System.getProperty("LINE_WRAP").equalsIgnoreCase("true")) {
answer.setLineWrap(true);
answer.setWrapStyleWord(true);
}
JTree history = new JTree(new HistoryModel(CommandHistoryManager.getDefaultInstance()));
//Bit of a hack, but the first row is the current session.
history.expandRow(1);
JPanel commandHistoryPanel = new JPanel(new BorderLayout());
JLabel label = new JLabel("Command History:");
label.setHorizontalAlignment(JLabel.CENTER);
commandHistoryPanel.add(label, BorderLayout.NORTH);
commandHistoryPanel.add(new JScrollPane(history), BorderLayout.CENTER);
this.editors.setTabLayoutPolicy(JTabbedPane.SCROLL_TAB_LAYOUT);
WorkingDirectoryPanel workingDirectoryPanel = new WorkingDirectoryPanel();
JSplitPane leftSplitter = new JSplitPane(JSplitPane.VERTICAL_SPLIT, workingDirectoryPanel, commandHistoryPanel);
leftSplitter.setOneTouchExpandable(true);
//splitters
splitter2 = new JSplitPane(JSplitPane.VERTICAL_SPLIT, jScrollPane1, null);
JSplitPane splitter = new JSplitPane(JSplitPane.HORIZONTAL_SPLIT, leftSplitter, splitter2);
splitter.setOneTouchExpandable(true);
splitter2.setOneTouchExpandable(true);
this.add(splitter, BorderLayout.CENTER);
this.add(statusBar, BorderLayout.SOUTH);
leftSplitter.setDividerLocation(300);
jMenu2.add(jMenuItem10);
jMenu2.add(jMenuItem11);
jMenu2.add(jMenuItem12);
jMenu2.addSeparator();
jMenu2.add(jMenuItem13);
jScrollPane1.getViewport().add(answer, null);
// AutoCompletion load
new AutoCompletion().load();
statusBar.setText(System.getProperty("STATUSBAR"));
this.setVisible(true);
// call the "startup.m" script to set up JMathLib
this.answer.keyHandler.interpreter.executeExpression("startup;");
this.answer.append('\n' + this.answer.prompt);
this.answer.setCaretPosition(this.answer.getText().length());
this.answer.requestFocus();
}
/**
*
* @param file
* @throws Exception
*/
public void editFile(File file) throws Exception {
int alreadyOpen = this.editorFiles.indexOf(file);
if (alreadyOpen != -1) {
this.editors.setSelectedIndex(alreadyOpen);
return;
}
ScriptEditor editor = new ScriptEditor(file);
if (this.editorFiles.size() == 1) {
this.splitter2.setBottomComponent(this.editors);
}
this.editors.addTab(file.getName(), null, new JScrollPane(editor), file.getPath());
this.editorFiles.add(file);
}
/**
*
* @param file
*/
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -