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 leoSettings.leo: # 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. 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.
