src/Pure/GUI/popup.scala

+/*  Title:      Pure/GUI/popup.scala
+    Author:     Makarius
+
+Popup within layered pane.
+*/
+
+package isabelle
+
+
+import java.awt.{Point, Dimension}
+import javax.swing.{JLayeredPane, JComponent}
+
+
+class Popup(
+  layered: JLayeredPane,
+  component: JComponent,
+  location: Point,
+  size: Dimension)
+{
+  def show
+  {
+    component.setLocation(location)
+    component.setSize(size)
+    component.setPreferredSize(size)
+    component.setOpaque(true)
+    layered.add(component, JLayeredPane.POPUP_LAYER)
+    layered.moveToFront(component)
+    layered.repaint(component.getBounds())
+  }
+
+  def hide
+  {
+    val bounds = component.getBounds()
+    layered.remove(component)
+    layered.repaint(bounds)
+  }
+}
+