diff options
author | Lukas Rytz <lukas.rytz@epfl.ch> | 2010-12-03 18:46:53 +0000 |
---|---|---|
committer | Lukas Rytz <lukas.rytz@epfl.ch> | 2010-12-03 18:46:53 +0000 |
commit | 3a783937bf97a9180e303da90cea8077f75d3e9b (patch) | |
tree | 741da315cfe89ac75b2a299ab9c031d6795c28b7 /src/swing | |
parent | 843efeab1b41d5ba69aaee35498004849a58ae84 (diff) | |
download | scala-3a783937bf97a9180e303da90cea8077f75d3e9b.tar.gz scala-3a783937bf97a9180e303da90cea8077f75d3e9b.tar.bz2 scala-3a783937bf97a9180e303da90cea8077f75d3e9b.zip |
close #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 10e396247e..dcad382a33 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 protected def processWindowEvent(e: java.awt.event.WindowEvent) { + override def processWindowEvent(e: java.awt.event.WindowEvent) { super.processWindowEvent(e) if (e.getID() == java.awt.event.WindowEvent.WINDOW_CLOSING) closeOperation() |