# HG changeset patch
# User wenzelm
# Date 1377709935 -7200
# Node ID 31f956f42e8d0d6ccb16f290e4edf90c9c5e01b3
# Parent  c95e9aee959ce93c6df3a7e922475cacb046361c
tuned signature -- no need for ooddities;

diff -r c95e9aee959c -r 31f956f42e8d src/Tools/jEdit/src/popup.scala
--- a/src/Tools/jEdit/src/popup.scala	Wed Aug 28 19:08:11 2013 +0200
+++ b/src/Tools/jEdit/src/popup.scala	Wed Aug 28 19:12:15 2013 +0200
@@ -17,9 +17,9 @@
   layered: JLayeredPane,
   component: JComponent,
   location: Point,
-  size: Dimension) extends javax.swing.Popup()
+  size: Dimension)
 {
-  override def show
+  def show
   {
     component.setLocation(location)
     component.setSize(size)
@@ -30,7 +30,7 @@
     layered.repaint(component.getBounds())
   }
 
-  override def hide
+  def hide
   {
     val bounds = component.getBounds()
     layered.remove(component)