On Thu, Apr 11, 2013 at 3:44 AM, Ville M. Vainio <[email protected]> wrote:
> The right way is to add "tooltips" to buttons, that you get when floating > over the button. > Yes. And an easy way to add the tooltips would be to base them on docstrings :-) It's a natural for @button. I'll add this to mod_scripting.py asap. Edward -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/leo-editor?hl=en. For more options, visit https://groups.google.com/groups/opt_out.
