diff options
author | Lukas Rytz <lukas.rytz@epfl.ch> | 2010-12-07 16:21:53 +0000 |
---|---|---|
committer | Lukas Rytz <lukas.rytz@epfl.ch> | 2010-12-07 16:21:53 +0000 |
commit | 2087a249ac07195e3c78417f2dfca6587e461f99 (patch) | |
tree | abfb543b40cb779be381475c33e817e87d5cc3fb /src/swing | |
parent | 0f188e1b47932b05d65d699dba88dd98dd191c17 (diff) | |
download | scala-2087a249ac07195e3c78417f2dfca6587e461f99.tar.gz scala-2087a249ac07195e3c78417f2dfca6587e461f99.tar.bz2 scala-2087a249ac07195e3c78417f2dfca6587e461f99.zip |
follow up on fix #3946.
Diffstat (limited to 'src/swing')
-rw-r--r-- | src/swing/scala/swing/RichWindow.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/swing/scala/swing/RichWindow.scala b/src/swing/scala/swing/RichWindow.scala index dcad382a33..10e396247e 100644 --- a/src/swing/scala/swing/RichWindow.scala +++ b/src/swing/scala/swing/RichWindow.scala @@ -78,7 +78,7 @@ class Frame extends RichWindow { override lazy val peer: JFrame with InterfaceMixin = new JFrame with InterfaceMixin with SuperMixin protected trait SuperMixin extends JFrame { - override def processWindowEvent(e: java.awt.event.WindowEvent) { + override protected def processWindowEvent(e: java.awt.event.WindowEvent) { super.processWindowEvent(e) if (e.getID() == java.awt.event.WindowEvent.WINDOW_CLOSING) closeOperation() |