--- a/src/Tools/jEdit/src/query_dockable.scala Thu May 08 14:53:04 2014 +0200
+++ b/src/Tools/jEdit/src/query_dockable.scala Thu May 08 15:12:39 2014 +0200
@@ -115,7 +115,7 @@
selected = false
}
- private val apply_button = new Button("Apply") {
+ private val apply_button = new Button("<html><b>Apply</b></html>") {
tooltip = "Find theorems meeting specified criteria"
reactions += { case ButtonClicked(_) => apply_query() }
}
@@ -164,7 +164,7 @@
/* GUI page */
- private val apply_button = new Button("Apply") {
+ private val apply_button = new Button("<html><b>Apply</b></html>") {
tooltip = "Find constants by name / type patterns"
reactions += { case ButtonClicked(_) => apply_query() }
}
@@ -248,7 +248,7 @@
/* GUI page */
- private val apply_button = new Button("Apply") {
+ private val apply_button = new Button("<html><b>Apply</b></html>") {
tooltip = "Apply to current context"
reactions += { case ButtonClicked(_) => apply_query() }
}