--- a/src/Tools/jEdit/src/theories_dockable.scala Mon Aug 14 15:30:26 2017 +0200
+++ b/src/Tools/jEdit/src/theories_dockable.scala Mon Aug 14 15:40:48 2017 +0200
@@ -47,7 +47,7 @@
val index_location = peer.indexToLocation(index)
if (index >= 0 && in_checkbox(index_location, point))
tooltip = "Mark as required for continuous checking"
- if (index >= 0 && in_label(index_location, point))
+ else if (index >= 0 && in_label(index_location, point))
tooltip = "theory " + quote(listData(index).theory)
else
tooltip = null