Re: User help

[Petr Kovar <pmkovar gnome org>]

Hi all,

Jim Campbell <jcampbell gnome org>, Mon, 4 Nov 2013 11:33:00 -0600:

> Hi Mike (CC'ing the docs list),
>
> I have the "printing" pages updated, but haven't committed them yet. Will
> only be able to get to that tomorrow. I just wanted to mention this in
> case someone else was also working on the menu-related updates with GNOME
> 3.10.
>
> Regards,
>
> Jim
>
>
> On Sat, Nov 2, 2013 at 8:03 PM, Michael Hill <mdhillca gmail com> wrote:
>
> > Hi Jim,
> >
> > Sorry I missed you on IRC. Kat asked me to mention the consistent
> > naming guideline on
> > https://wiki.gnome.org/DocumentationProject/Tasks/DesktopHelp .
> >
> > We discussed it one day and couldn't think of a good way to say "click
> > the top right corner, click the Settings button" (the icon showing the
> > tools is different in different themes).

Describing the icons is really tricky. I used "click the options icon" when
documenting the login screen.

I'm not sure if we should care about different themes though. GNOME
doesn't support them officially. To install them, one has to use a
semi-official tool that we don't really document. For the same reason, we
probably don't want to document customizing themes in the sys admin
guide...

My 2 hellers,
Petr Kovar