src/Tools/jEdit/src/output_dockable.scala

 
   /* pretty text area */
 
   val pretty_text_area = new Pretty_Text_Area(view)
   set_content(pretty_text_area)
+
+  override val detach_operation = Some(() => pretty_text_area.detach)
 
 
   private def handle_resize()
   {
     Swing_Thread.require {}