src/Tools/jEdit/src/session_dockable.scala
changeset 44865 679f0d57e831
parent 44864 e50557cb0eb6
child 44866 0eb8284a64bd
     1.1 --- a/src/Tools/jEdit/src/session_dockable.scala	Sat Sep 10 14:48:06 2011 +0200
     1.2 +++ b/src/Tools/jEdit/src/session_dockable.scala	Sat Sep 10 16:30:08 2011 +0200
     1.3 @@ -19,7 +19,7 @@
     1.4  import javax.swing.JList
     1.5  import javax.swing.border.{BevelBorder, SoftBevelBorder}
     1.6  
     1.7 -import org.gjt.sp.jedit.View
     1.8 +import org.gjt.sp.jedit.{View, jEdit}
     1.9  
    1.10  
    1.11  class Session_Dockable(view: View, position: String) extends Dockable(view: View, position: String)
    1.12 @@ -64,12 +64,12 @@
    1.13    private val cancel = new Button("Cancel") {
    1.14      reactions += { case ButtonClicked(_) => Isabelle.cancel_execution() }
    1.15    }
    1.16 -  cancel.tooltip = "Cancel current proof checking process"
    1.17 +  cancel.tooltip = jEdit.getProperty("isabelle.cancel-execution.label")
    1.18  
    1.19    private val check = new Button("Check") {
    1.20      reactions += { case ButtonClicked(_) => Isabelle.check_buffer(view.getBuffer) }
    1.21    }
    1.22 -  check.tooltip = "Commence full proof checking of current buffer"
    1.23 +  check.tooltip = jEdit.getProperty("isabelle.check-buffer.label")
    1.24  
    1.25    private val logic = Isabelle.logic_selector(Isabelle.Property("logic"))
    1.26    logic.listenTo(logic.selection)