Just thought I'd ask if there was already a built in way to use the theme
settings to affect the font size of the quicksearch (Nav) plugin
individually. If not I'll investigate on my own.
--
You received this message because you are subscribed to the Google Groups
"leo-editor" group.
To
On Mon, 8 Feb 2016 06:07:33 -0800 (PST)
john lunzer wrote:
> I'm a little confused by your request and perhaps Jacob answered it
> but I feel like I heard a much simpler question.
>
> You can use the @others directive in the body of you @command node.
> This is the same as
I'm a little confused by your request and perhaps Jacob answered it but I
feel like I heard a much simpler question.
You can use the @others directive in the body of you @command node. This is
the same as what you would do in an @ node.
I have abused this horribly to my own ends to write a
You are correct, the @others is just a node body directive and doesn't
dictate where or how a file will be stored, only the structure of the file.
If you're just personal commands which you don't intend on sharing then
you'll likely just want to keep them in your myLeoSettings.leo file and
Hi John
On Monday, February 8, 2016 at 2:07:33 PM UTC, john lunzer wrote:
>
> I'm a little confused by your request and perhaps Jacob answered it but I
> feel like I heard a much simpler question.
>
> You can use the @others directive in the body of you @command node. This
> is the same as what