(ddd.info)Button tips
3.6.2.1 Button Tips
...................
Button tips are helpful for novices, but may be distracting for
experienced users. You can turn off button tips via `Edit =>
Preferences => General => Automatic display of Button Hints => as Popup
Tips'.
You can also turn off the hint that is displayed in the status line.
Just toggle `Edit => Preferences => General => Automatic Display of
Button Hints => in the Status Line'.
These are the related DDD resources (Note: Customizing):
-- Resource: buttonTips (class Tips)
If `on' (default), enable button tips.
-- Resource: buttonDocs (class Docs)
If `on' (default), show button hints in the status line.
automatically generated by info2www version 1.2.2.9