Hi all, Jim Campbell <[email protected]>, 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 <[email protected]> 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 _______________________________________________ gnome-doc-list mailing list [email protected] https://mail.gnome.org/mailman/listinfo/gnome-doc-list
