Re: remembering Leo's 'file state' across sessions?

2016-12-21 Thread Edward K. Ream 
​​
On Mon, Dec 19, 2016 at 3:02 PM, Mike Hodson  wrote:

> On Mon, Dec 19, 2016 at 12:40 PM, Largo84  wrote:
>
>> Jon, I use these options all the time. In fact, they're in my desktop
>> shortcut link (Windows). Maybe this helps:
>>
>> Target: C:\Python34\python.exe "D:\Synced\github repos\leo\launchLeo.py"
>> --session-save --session-restore
>>
>
> I'd personally appreciate some setting that can be effected with Leo's GUI
> only.  It is entirely non-intuitive to have a gui without all options
> exposed inside of it.
>

​The situation is different as far as Leo is concerned.  In fact, all
settings *are* "exposed" in the gui, but not in the usual way. To see all
options, ​

​choose Settings:Open Global Settings​.  This opens leoSettings.leo.

This strategy is far superior to typical ways of specifying settings,
either .ini files or graphical displays of settings.  Maybe more than 10
years ago I experimented with panels by which users could set settings.  It
was a failure, and I ripped out the code.

The problem is that Leo's settings are much more flexible than in other
environments.  Plugins and scripts can, and do, define their own settings.
Furthermore, the ability to organize (and search) myLeoSettings.leo would
not be possible with gui-oriented approached.

In short, the present settings scheme, although not without minor problems,
is a good fit for Leo.  It's not going to change.

Edward

P.S. The sessions command-line arguments could be specified in
myLeoSettings.leo, but that might turn out to be more confusing than the
present scheme. Having said that, I would be willing to consider specific
enhancement requests re sessions.

EKR

-- 
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, how do you alias @ nodes in headlines?

2016-12-21 Thread Edward K. Ream 
On Wed, Dec 21, 2016 at 8:26 AM, 'Terry Brown' via leo-editor <
leo-editor@googlegroups.com> wrote:

>
> Here's what I just posted as a comment on that issue.  It's in core,
> not a plugin.
>

​Thanks, Terry.​


>
> 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.
>

​Imo, @clean (or an icon), is good enough.  It's got to be called
something, and creating an alias or three isn't going to be helpful. Better
to learn the standard terminology and go from there.

EKR

-- 
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, how do you alias @ nodes in headlines?

2016-12-21 Thread 'Terry Brown' via leo-editor 
On Wed, 21 Dec 2016 03:17:44 -0800 (PST)
"Edward K. Ream"  wrote:

> Iirc, this is a plugin, but I can't seem to find it.  This relates to
> #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 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.

Terry, how do you alias @ nodes in headlines?

2016-12-21 Thread Edward K. Ream 
Iirc, this is a plugin, but I can't seem to find it.  This relates to #351 
, which I have just 
closed.

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.