1.1 --- a/lib/jedit/plugin/isabelle_dock.scala	Mon Aug 25 21:59:36 2008 +0200
     1.2 +++ b/lib/jedit/plugin/isabelle_dock.scala	Mon Aug 25 22:05:30 2008 +0200
     1.3 @@ -132,7 +132,7 @@
     1.4  
     1.5  
     1.6      // buttons
     1.7 -    def iconButton(icon: String, tip: String, action: => Unit) = {
     1.8 +    def icon_button(icon: String, tip: String, action: => Unit) = {
     1.9        val button = new RolloverButton(GUIUtilities.loadIcon(icon))
    1.10        button.setToolTipText(tip)
    1.11        button.setMargin(new Insets(0,0,0,0))
    1.12 @@ -143,8 +143,8 @@
    1.13        box.add(button)
    1.14      }
    1.15  
    1.16 -    iconButton("Cancel.png", "Stop", IsabellePlugin.isabelle.interrupt)
    1.17 -    iconButton("Clear.png", "Clear", pane.setText(""))
    1.18 +    icon_button("Cancel.png", "Stop", IsabellePlugin.isabelle.interrupt)
    1.19 +    icon_button("Clear.png", "Clear", pane.setText(""))
    1.20    }
    1.21  
    1.22    def focusOnDefaultComponent: Unit = text.requestFocus