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