Hi Edward
I noticed the defaults in Leosettings are:
rst3 plugin-->rst3 global options-->@bool rst3_call_docutils = True
and
rst3 plugin-->rst3 global options-->@bool rst3_write_intermediate_file =
False
with body comment - # Used only if generate_rst is True.
rst3 plugin-->rst3 mode options-->@bool rst3_generate_rst = True
Therefore the defaults are in accord.
I have docutils installed and the defaults are fine for me.
However in the rst3 tutorial it states
In both cases, use this setting:
@bool rst3_write_intermediate_file = True
which is at odds with the default False setting.
Since rst is part of Leo's core shouldn't the defaults match the tutorial?
As the leosettings defaults are active, it seems unnecessary to recommend
changes of this type under a *Specify settings* heading.
I think the *Specify settings* should be a clear optional step.
> All of Leo's docs come from LeoDocs.leo, so it's natural to put the
setting there, specifically:
> Startup-->@settings-->Plugins options-->@page rst3 options
I thought LeoDocs is purely a document for a user to read. Are you saying
it is used for settings and should be edited?
What do you mean by "where defaults don't make sense or can't be relied
on,"? I really want the defaults to be relied upon!
Regards
Lewis
On Saturday, October 26, 2013 9:29:36 PM UTC+11, Edward K. Ream wrote:
>
> On Fri, Oct 25, 2013 at 7:15 PM, lewis <[email protected]<javascript:>
> > wrote:
>
> In the 'Specify settings' section can you clarify if these should be in
>> the document being written or in myLeosettings.leo ?
>>
>
> Good question. The most general answer is, it depends.
>
> All of Leo's docs come from LeoDocs.leo, so it's natural to put the
> setting there, specifically:
>
> Startup-->@settings-->Plugins options-->@page rst3 options
>
> But in other situations, where defaults don't make sense or can't be
> relied on, then the safest thing to do would be to put all rst-related
> settings in each .leo file.
>
--
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 http://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/groups/opt_out.
