On Tuesday, August 25, 2015 at 9:53:01 AM UTC-5, Edward K. Ream wrote:
...it's time to declare that configuration setting should never be
cached. Instead code should always call c.config.getX. We shouldn't
sacrifice flexibility to save a few millionths of a second here and there.
There is an
On Mon, Aug 24, 2015 at 9:38 AM, 'Terry Brown' via leo-editor
leo-editor@googlegroups.com wrote:
On Mon, 24 Aug 2015 09:21:36 -0500
Edward K. Ream edream...@gmail.com wrote:
I was really only referring to Reload settings to see appearance
changes, which I think should work. I thought it
On Tue, 25 Aug 2015 10:18:47 -0700 (PDT)
Edward K. Ream edream...@gmail.com wrote:
On Tuesday, August 25, 2015 at 9:53:01 AM UTC-5, Edward K. Ream wrote:
...it's time to declare that configuration setting should never be
cached. Instead code should always call c.config.getX. We shouldn't
I'm very late to the appearance party.
The edit settings menu is great, it exposes the workings
in a way that simplifies while educating. By following the
links and reading the text I quickly learn how Leo does it.
I loaded the Colors node into myLeoSettings.leo and changed
the value of
@color
On Mon, 24 Aug 2015 09:21:36 -0500
Edward K. Ream edream...@gmail.com wrote:
[snip]
Again, wordy, but I think easy enough to understand.
I agree. And even if the user hits cancel, they now have know
what's available and where.
Right, I think this menu based setting editing which tells
On Mon, 24 Aug 2015 09:30:19 -0500
Kent Tenney kten...@gmail.com wrote:
I'm very late to the appearance party.
The edit settings menu is great, it exposes the workings
in a way that simplifies while educating. By following the
links and reading the text I quickly learn how Leo does it.
I
Figured as much.
Vanilla ... hehe ... I think my current flavor is more like
Hot Fudge Cashew Marshmallow Cookie Dough Snickers Crunch
dipped
and sprinkled
On Mon, Aug 24, 2015 at 9:48 AM, 'Terry Brown' via leo-editor
leo-editor@googlegroups.com wrote:
On Mon, 24 Aug 2015 09:30:19 -0500
Kent
On Sun, Aug 23, 2015 at 11:50 AM, 'Terry Brown' via leo-editor
leo-editor@googlegroups.com wrote:
There's now an Edit settings menu under the main Settings menu.
Thanks Terry. This is a step forward for everyone, including newbies.
It's not going to make everyone (anyone?) happy, you still
On Monday, August 24, 2015 at 10:21:37 AM UTC-4, Edward K. Ream wrote:
Note Reload settings isn't working as effectively as I think it
should, that may need to be addressed as well. Unrelated to the new
code.
Reload settings is going to be a project, for several reasons. Many
classes
On Mon, 24 Aug 2015 08:56:40 -0700 (PDT)
john lunzer lun...@gmail.com wrote:
On Monday, August 24, 2015 at 10:21:37 AM UTC-4, Edward K. Ream wrote:
Note Reload settings isn't working as effectively as I think it
should, that may need to be addressed as well. Unrelated to the
new code.
A great start and a welcome addition. Like you said it isn't magic but it
does put many settings within arms reach of the standard user.
On Sunday, August 23, 2015 at 12:50:20 PM UTC-4, Terry Brown wrote:
There's now an Edit settings menu under the main Settings menu.
It's not going to make
It's actually things like abbreviations and key bindings which I often find
myself tweaking.
On Monday, August 24, 2015 at 12:16:24 PM UTC-4, Terry Brown wrote:
On Mon, 24 Aug 2015 08:56:40 -0700 (PDT)
john lunzer lun...@gmail.com javascript: wrote:
On Monday, August 24, 2015 at 10:21:37
There's now an Edit settings menu under the main Settings menu.
It's not going to make everyone (anyone?) happy, you still have to edit
the content of a Leo headline to change font size etc. The new
functionality is that it finds the appropriate setting and copies it to
the appropriate outline
13 matches
Mail list logo