📄 jmtframe.java
字号:
/**
* Copyright (C) 2006, Laboratorio di Valutazione delle Prestazioni - Politecnico di Milano
* This program is free software; you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
* the Free Software Foundation; either version 2 of the License, or
* (at your option) any later version.
* This program is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU General Public License for more details.
* You should have received a copy of the GNU General Public License
* along with this program; if not, write to the Free Software
* Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
*/
package jmt.gui.jmodel.mainGui;
import javax.swing.*;
import java.awt.*;
/** Default Jmt Frame, has some more function then the standard frame
* @author Federico Granata
* Date: 3-giu-2003
* Time: 15.59.05
*/
public class JmtFrame extends JFrame {
/**
* Creates a new frame centered on the screeen & whith the defalt close
* operation set to exit.
*
*/
public JmtFrame() {
super();
setDefaultCloseOperation(JFrame.DO_NOTHING_ON_CLOSE);
}
/**
* Sets position of the frame at center of the screen.
*/
public void centerOnScreen() {
Toolkit toolkit = Toolkit.getDefaultToolkit();
//gets screen size
Dimension screenSize = toolkit.getScreenSize();
setLocation((int) (screenSize.getWidth() - getWidth()) / 2,
(int) (screenSize.getHeight() - getHeight()) / 2);
}
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -