📄 mainframe.java
字号:
import java.awt.*;import java.awt.event.*;import java.net.*;import javax.swing.*;public class MainFrame extends JFrame{ private Mainwin top_panel; public MainFrame( boolean is_child, String filename, int frame_idx ) { super( "Jumpshot-3" ); top_panel = new Mainwin( this, is_child, filename, frame_idx ); setContentPane( top_panel ); pack(); setVisible(true); addWindowListener(new WindowAdapter() { public void windowClosing(WindowEvent e) { System.exit(0); } }); } static void checkVersion() { String vers = System.getProperty ("java.version"); System.out.println ( "Java is version " + vers + "." ); if ( vers.compareTo( "1.1.7" ) < 0 ) { System.err.println ( "WARNING: Jumpshot-3 should be run with " + "Java Vitual Machine 1.1.7 or higher.\n" + "\t In case there is problem to run " + "jumpshot-3 with older version of JVM, \n" + "\t Install a newer version of JVM, then do \n" + "\t\t configure --with-java=NEW_JDK_PATH\n " + "\t\t make" ); System.err.println ("Questions: mpi-maint@mcs.anl.gov"); } } public static void main( String[] argv ) { String filename; int frame_idx; checkVersion(); switch ( argv.length ) { case 0 : filename = null; frame_idx = 0; break; case 1 : filename = argv[ 0 ]; frame_idx = 0; break; case 2 : filename = argv[ 0 ]; frame_idx = Integer.parseInt( argv[ 1 ] ); break; default : System.err.println( "MAIN : " + "Number of command line arguments is " + argv.length + " which is more than what " + " we expected.\n Assume 2 and continue" ); filename = argv[ 0 ]; frame_idx = Integer.parseInt( argv[ 1 ] ); } // debug.SetMessageOn(); MainFrame frame = new MainFrame( false, filename, frame_idx ); }}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -