UIHelpTool.st
changeset 3392 ade42ddd74fe
parent 3362 177a52729a22
child 3397 1009583a873c
--- a/UIHelpTool.st	Sun Jan 29 02:22:02 2017 +0100
+++ b/UIHelpTool.st	Fri Feb 03 13:15:36 2017 +0100
@@ -521,7 +521,9 @@
 alternativeSpecSelectors
     "returns a set of alternative spec method selectors of the resource spec"
 
-    ^ #( flyByHelpSpec tooltipSpec )
+    ^ #( helpPairs flyByHelpSpec tooltipSpec )
+
+    "Modified: / 03-02-2017 / 13:05:02 / cg"
 !
 
 helpKey