On Thu, 1 Feb 2018 08:25:56 -0800 (PST) "Edward K. Ream" <[email protected]> wrote:
> You mention this setting in this post > <https://groups.google.com/d/msg/leo-editor/jXCVeGKFYOk/Em2jQOwy-X8J>, > but I have never seen it in leoSettings.leo. Could you add it? :) I think that 2008 code was written for the Tk interface... so it probably went away in the Qt interface. I guess it could be recreated. Ideally it would be GUI independent, although not sure if the LeoUI API supports menu item deletion / editing. But the original code mentions Tk.delete_range. Cheers -Terry -- 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 https://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/d/optout.
