some keyboard shortcuts for important actions;
authorwenzelm
Sat Sep 10 16:30:08 2011 +0200 (2011-09-10)
changeset 44865679f0d57e831
parent 44864 e50557cb0eb6
child 44866 0eb8284a64bd
some keyboard shortcuts for important actions;
proper label properties, which are also required for jEdit "Shortcuts" options panel;
src/Tools/jEdit/src/Isabelle.props
src/Tools/jEdit/src/session_dockable.scala
     1.1 --- a/src/Tools/jEdit/src/Isabelle.props	Sat Sep 10 14:48:06 2011 +0200
     1.2 +++ b/src/Tools/jEdit/src/Isabelle.props	Sat Sep 10 16:30:08 2011 +0200
     1.3 @@ -38,8 +38,15 @@
     1.4  options.isabelle.auto-start=true
     1.5  
     1.6  #actions
     1.7 +isabelle.check-buffer.label=Commence full proof checking of current buffer
     1.8 +isabelle.check-buffer.shortcut=C+e SPACE
     1.9 +isabelle.cancel-execution.label=Cancel current proof checking process
    1.10 +isabelle.cancel-execution.shortcut=C+e BACK_SPACE
    1.11 +isabelle.input-isub.label=Input subscript
    1.12  isabelle.input-isub.shortcut=C+e DOWN
    1.13 +isabelle.input-isup.label=Input superscript
    1.14  isabelle.input-isup.shortcut=C+e UP
    1.15 +isabelle.input-bold.label=Input bold face
    1.16  isabelle.input-bold.shortcut=C+e RIGHT
    1.17  
    1.18  #menu actions
     2.1 --- a/src/Tools/jEdit/src/session_dockable.scala	Sat Sep 10 14:48:06 2011 +0200
     2.2 +++ b/src/Tools/jEdit/src/session_dockable.scala	Sat Sep 10 16:30:08 2011 +0200
     2.3 @@ -19,7 +19,7 @@
     2.4  import javax.swing.JList
     2.5  import javax.swing.border.{BevelBorder, SoftBevelBorder}
     2.6  
     2.7 -import org.gjt.sp.jedit.View
     2.8 +import org.gjt.sp.jedit.{View, jEdit}
     2.9  
    2.10  
    2.11  class Session_Dockable(view: View, position: String) extends Dockable(view: View, position: String)
    2.12 @@ -64,12 +64,12 @@
    2.13    private val cancel = new Button("Cancel") {
    2.14      reactions += { case ButtonClicked(_) => Isabelle.cancel_execution() }
    2.15    }
    2.16 -  cancel.tooltip = "Cancel current proof checking process"
    2.17 +  cancel.tooltip = jEdit.getProperty("isabelle.cancel-execution.label")
    2.18  
    2.19    private val check = new Button("Check") {
    2.20      reactions += { case ButtonClicked(_) => Isabelle.check_buffer(view.getBuffer) }
    2.21    }
    2.22 -  check.tooltip = "Commence full proof checking of current buffer"
    2.23 +  check.tooltip = jEdit.getProperty("isabelle.check-buffer.label")
    2.24  
    2.25    private val logic = Isabelle.logic_selector(Isabelle.Property("logic"))
    2.26    logic.listenTo(logic.selection)