diff options
| author | Jakob Odersky <jodersky@gmail.com> | 2009-12-20 17:53:45 +0000 |
|---|---|---|
| committer | Jakob Odersky <jodersky@gmail.com> | 2009-12-20 17:53:45 +0000 |
| commit | e87fcc40f9a2e8624d3260abf8180596de79b152 (patch) | |
| tree | a3052eb7b657099e2bd616ce74b903f6250527e5 /src/graphyx/gui/MainFrame.scala | |
| parent | 66d338aec5d632927fa561a68310c8931938e9e0 (diff) | |
| download | sims-e87fcc40f9a2e8624d3260abf8180596de79b152.tar.gz sims-e87fcc40f9a2e8624d3260abf8180596de79b152.tar.bz2 sims-e87fcc40f9a2e8624d3260abf8180596de79b152.zip | |
Made code fully compatible with scala 2.8.
Diffstat (limited to 'src/graphyx/gui/MainFrame.scala')
| -rw-r--r-- | src/graphyx/gui/MainFrame.scala | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/graphyx/gui/MainFrame.scala b/src/graphyx/gui/MainFrame.scala index 6b1f2fe..4fdc9a2 100644 --- a/src/graphyx/gui/MainFrame.scala +++ b/src/graphyx/gui/MainFrame.scala @@ -13,7 +13,8 @@ import scala.swing._ class MainFrame(container: Container) extends Frame{ super.background = java.awt.Color.WHITE title = "graphyx" - preferredSize = (1000,800) + preferredSize = new java.awt.Dimension(1000,800) + reactions += { case event.WindowClosing(w) => Graphyx.exit() } |