📄 frameextender.java
字号:
/* * FrameExtender.java * * Created on July 29, 2002, 3:15 PM */package com.samspublishing.jpp.ch13;import java.awt.*;import java.awt.event.*;/** * * @author Stephen Potts * @version */public class FrameExtender extends Frame{ /** Creates new FrameExtender */ public FrameExtender() { addWindowListener(new WinCloser()); setTitle("Just a Frame"); setBounds( 100, 100, 200, 200); setVisible(true); } public static void main(String args[]) { FrameExtender fe = new FrameExtender(); }}class WinCloser extends WindowAdapter{ public void windowClosing(WindowEvent e) { System.exit(0); } }
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -