This post is pre-writing for much needed documentation.

Path demangling has been a worthwhile feature to have. It has existed for a 
long time, but until now it has been an Easter Egg.  Indeed, path 
demangling is enabled only if @data path-demangle contains something 
besides comments.

Here is the default (do nothing) contents of @data path-demangle in 

# pairs of lines in this text indicate search and replace targets for
# cleaning the recent files list.  Each pair of lines should start with
# "REPLACE:" (first line) and "WITH:" (second line).  For example:
#  REPLACE: .gnome-desktop
#     WITH: My Desktop
#  REPLACE: /mnt/usr1/
#     WITH: /

Path demangling really was an Easter Egg. Previously, it was triggered only 
by the *clean*-recent-files command or File:Recent Files:*Clean *Recent 
Files menu.

A change this week eliminated a mystifying warning when @data path-demangle 
contained nothing significant.

Today's work does two things:

1. Added a demangle-recent-files command.  This command *does* warn if 
@data path-demangle contains nothing significant.

2. Updated clean-recent-files (rf.cleanRecentFiles) as follows:

- Calls  rf.demangleRecentFiles as before if @data path-demangle *does* 
contain something significant.

- Otherwise, rf.cleanRecentFiles actually does something ;-). It removes 
files from the recent files list that don't exist.  

This is actually a tiny nit, because typically Leo's startup logic removes 
non-existent files from this list.


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 post to this group, send email to
Visit this group at
For more options, visit

Reply via email to