📄 mainframe.scala
字号:
package scala.swingimport event._class MainFrame(peer: javax.swing.JFrame) extends Frame(peer) { def this() = this(new javax.swing.JFrame) reactions += { case WindowClosing(_) => System.exit(1) }}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -