# HG changeset patch
# User wenzelm
# Date 1363631605 -3600
# Node ID 66824fea1a72a47a0195f16e8cf3a5dd32581223
# Parent  a6e3a5ec98476fbecf92a7ef91108c7163a490b4
proper parent component for window.init;

diff -r a6e3a5ec9847 -r 66824fea1a72 src/Tools/jEdit/src/pretty_tooltip.scala
--- a/src/Tools/jEdit/src/pretty_tooltip.scala	Mon Mar 18 19:20:53 2013 +0100
+++ b/src/Tools/jEdit/src/pretty_tooltip.scala	Mon Mar 18 19:33:25 2013 +0100
@@ -53,14 +53,14 @@
     val window =
       old_windows.reverse match {
         case Nil =>
-          val window = new Pretty_Tooltip(view, parent, parent_window)
+          val window = new Pretty_Tooltip(view, parent_window)
           window_stack = window :: window_stack
           window
         case window :: others =>
           others.foreach(_.dispose)
           window
       }
-    window.init(rendering, mouse_x, mouse_y, results, body)
+    window.init(rendering, parent, mouse_x, mouse_y, results, body)
     window
   }
 
@@ -89,7 +89,7 @@
 }
 
 
-class Pretty_Tooltip private(view: View, parent: JComponent, parent_window: Window)
+class Pretty_Tooltip private(view: View, parent_window: Window)
   extends JDialog(parent_window)
 {
   window =>
@@ -163,6 +163,7 @@
 
   def init(
     rendering: Rendering,
+    parent: JComponent,
     mouse_x: Int, mouse_y: Int,
     results: Command.Results,
     body: XML.Body)