|
Scala Library
|
|
scala/swing/MainFrame.scala]
class
MainFrame
extends Frame| Values and Variables inherited from Frame | |
| peer |
| Values and Variables inherited from Publisher | |
| listeners |
| Values and Variables inherited from Reactor | |
| reactions |
| Method Summary | |
override def
|
closeOperation
: Unit
This method is called when the window is closing, after all other window
event listeners have been processed.
|
| Methods inherited from Frame | |
| iconify, uniconify, iconified, maximize, unmaximize, maximized, iconImage, iconImage_= |
| Methods inherited from RichWindow | |
| title, title_=, menuBar, menuBar_=, resizable_=, resizable |
| Methods inherited from Window | |
| contents_=, defaultButton, defaultButton_=, defaultButton_=, dispose, pack, setLocationRelativeTo, centerOnScreen, location_=, owner, open, close |
| Methods inherited from RootPanel | |
| contents |
| Methods inherited from UIElement | |
| self, foreground, foreground_=, background, background_=, minimumSize, minimumSize_=, maximumSize, maximumSize_=, preferredSize, preferredSize_=, preferredSize_=, font, font_=, locationOnScreen, location, bounds, size, size_=, size_=, locale, toolkit, cursor, cursor_=, visible, visible_=, showing, displayable, repaint, repaint, ignoreRepaint, ignoreRepaint_=, onFirstSubscribe, onLastUnsubscribe |
| Methods inherited from scala.swing.LazyPublisher | |
| scala.swing.LazyPublisher.subscribe, scala.swing.LazyPublisher.unsubscribe |
| Methods inherited from Publisher | |
| publish |
| Methods inherited from Reactor | |
| listenTo, deafTo |
| Methods inherited from Proxy | |
| hashCode, equals, toString |
| Methods inherited from AnyRef | |
| getClass, clone, notify, notifyAll, wait, wait, wait, finalize, ==, !=, eq, ne, synchronized |
| Methods inherited from Any | |
| ==, !=, isInstanceOf, asInstanceOf |
| Method Details |
override
def
closeOperation : Unit
|
Scala Library
|
|