src/Tools/jEdit/src/theories_dockable.scala

     border = BorderFactory.createEmptyBorder(2, 2, 2, 2)
 
     var node_name = Document.Node.Name.empty
     override def paintComponent(gfx: Graphics2D)
     {
+      val size = peer.getSize()
+      val insets = border.getBorderInsets(peer)
+      val w = size.width - insets.left - insets.right
+      val h = size.height - insets.top - insets.bottom
+
       nodes_status.get(node_name) match {
         case Some(st) if st.total > 0 =>
           val colors = List(
             (st.unprocessed, PIDE.options.color_value("unprocessed1_color")),
             (st.running, PIDE.options.color_value("running_color")),
             (st.warned, PIDE.options.color_value("warning_color")),
             (st.failed, PIDE.options.color_value("error_color")))
 
-          val size = peer.getSize()
-          val insets = border.getBorderInsets(peer)
-          val w = size.width - insets.left - insets.right
-          val h = size.height - insets.top - insets.bottom
           var end = size.width - insets.right
-
           for { (n, color) <- colors }
           {
             gfx.setColor(color)
             val v = (n * (w - colors.length) / st.total) max (if (n > 0) 4 else 0)
             gfx.fillRect(end - v, insets.top, v, h)
             end = end - v - 1
           }
         case _ =>
+          gfx.setColor(PIDE.options.color_value("unprocessed1_color"))
+          gfx.fillRect(insets.left, insets.top, w, h)
       }
       super.paintComponent(gfx)
     }
   }