Re: [Gimp-docs] Preferences documentation

[Elle Stone <ellestone ninedegreesbelow com>]

On 04/04/2017 04:15 PM, Elle Stone wrote:
> On 04/04/2017 03:05 PM, Elle Stone wrote:
> > * remove the include statements from preferences_introduction.xml
>
> Well, that's not right. I was thinking about php include for adding html
> from one file to another html file. Sigh.

I opened a bug report and attached a patch that moves all of Preferences 
to the Edit menu:

https://bugzilla.gnome.org/show_bug.cgi?id=780927
I didn't want to push these changes without having someone review them 
first.

Best,
Elle