src/Tools/jEdit/src/theories_dockable.scala
changeset 52779 82707f95a783
parent 52769 0827b6f5de44
child 52802 0b98561d0790
     1.1 --- a/src/Tools/jEdit/src/theories_dockable.scala	Mon Jul 29 20:38:40 2013 +0200
     1.2 +++ b/src/Tools/jEdit/src/theories_dockable.scala	Mon Jul 29 20:46:21 2013 +0200
     1.3 @@ -63,7 +63,7 @@
     1.4        }
     1.5      private val label =
     1.6        new Label("Range:") { tooltip = "Execution range of continuous document processing" }
     1.7 -    private val b1 = button(PIDE.Execution_Range.ALL, "Check all theories")
     1.8 +    private val b1 = button(PIDE.Execution_Range.ALL, "Check all theories (potentially slow)")
     1.9      private val b2 = button(PIDE.Execution_Range.NONE, "Check nothing")
    1.10      private val b3 = button(PIDE.Execution_Range.VISIBLE, "Check visible parts of theories")
    1.11      private val group = new ButtonGroup(b1, b2, b3)