On Wed, 21 Dec 2016 03:17:44 -0800 (PST) "Edward K. Ream" <[email protected]> wrote:
> Iirc, this is a plugin, but I can't seem to find it. This relates to > #351 <https://github.com/leo-editor/leo-editor/issues/351>, which I > have just closed. > > Edward Here's what I just posted as a comment on that issue. It's in core, not a plugin. Not sure the headline abbreviation thing really addresses the OP's idea, although it could make @clean appear as @fileclean when not being edited. But for newcomers, that might be more confusing than helpful - if they started entering @fileclean. It's more typical use is to make @clean appear as an icon, a document with a C on it, to reduce screen space use by directives like @clean. Maybe that addresses the OP's idea as it's a file icon. Here's instructions for using it I wrote in response to a recent question: Search for tree-declutter in leoSettings.leo. set @bool tree-declutter = True then craete a @settings node @data tree-declutter-patterns can contain patterns like: # remove @clean and use an icon RULE ^@clean (.*) REPLACE \1 ICON file_icons/file_clean.png # show the last part of long filenames RULE ^.{1,1000}([/\\])(.{25}) REPLACE …\1\2 # if the node name starts with 'peacock node DEMO', make a mess of it RULE ^(peacock node DEMO) REPLACE LOOK: \1 ICON Tango/16x16/emotes/face-grin.png ICON Tango/16x16/emotes/face-wink.png FG @solarized-magenta BG white FONT Times PX 40 ITALIC 1 WEIGHT Bold -- 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.
