On Sun, 9 Dec 2018 11:16:28 -0500
Jeremy Bicha wrote:
> On Thu, Sep 20, 2018 at 7:22 AM Andre Klapper wrote:
> > Personally I've always wondered how the "Keyboard Shortcuts" item
> > potentially duplicates dedicated pages in some user docs, such as
> > https://help.gnome.org/users/gnome-help/stable/shell-keyboard-shortcuts.html
> > https://gitlab.gnome.org/GNOME/evolution/blob/master/help/C/intro-keyboard-shortcuts.page
> > [1]
> > https://help.gnome.org/users/five-or-more/stable/shortcuts.html
> > https://help.gnome.org/users/iagno/stable/shortcuts.html
> >
> > Maybe agreeing on a skeleton (strings to translate only once across
> > repos if you use software with a translation memory) / guidelines for a
> > shortcuts Mallard help page (and page name) is an option?
>
> I've been adding the Keyboard Shortcuts dialogs to several games as
> part of the 3.32 app menu updates and I've run into this duplication
> issue. I'd like to remove the Keyboard Shortcuts page from the help
> for these games.
>
> Especially with the GNOME 3.32 app menu design, it's really easy to
> find Keyboard Shortcuts now.
Good point.
Technically, you can still reference the page from gnome-help in your app
docs, for example:
This might invalidate the Mallard syntax (yelp-check won't be
able to find the resource locally), but it won't break the build. The
reference will work locally only if gnome-user-docs is installed, and
it won't work online (no implementation for it in library-web.
Cheers,
pk
___
desktop-devel-list mailing list
desktop-devel-list@gnome.org
https://mail.gnome.org/mailman/listinfo/desktop-devel-list