Terry: missing @data path-demangle setting

[Edward K. Ream]

You mention this setting in this post 
, but 
I have never seen it in leoSettings.leo.  Could you add it?

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 leo-editor+unsubscr...@googlegroups.com.
To post to this group, send email to leo-editor@googlegroups.com.
Visit this group at https://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.

Re: Terry: missing @data path-demangle setting

[Terry Brown]

On Thu, 1 Feb 2018 08:25:56 -0800 (PST)
"Edward K. Ream"  wrote:

> You mention this setting in this post 
> ,
> 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 leo-editor+unsubscr...@googlegroups.com.
To post to this group, send email to leo-editor@googlegroups.com.
Visit this group at https://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.

Re: Terry: missing @data path-demangle setting

[Edward K. Ream]

On Thu, Feb 1, 2018 at 1:26 PM, Terry Brown  wrote:

>
> > You mention this setting in this post
> > ,
> > 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.


​This doesn't appear to have anything to do with gui code.

Please have a look at rf.cleanRecentFiles in leoApp.py.

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 leo-editor+unsubscr...@googlegroups.com.
To post to this group, send email to leo-editor@googlegroups.com.
Visit this group at https://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.