On Fri, Sep 21, 2018 at 4:00 PM Bastien Nocera <had...@hadess.net> wrote: > > On Fri, 2018-09-21 at 12:24 +0100, Allan Day wrote: > > To be clear, I'm still thinking this through but, if you had a page > > in > > the user docs which was a simple table of keyboard shortcuts, which > > was one click away in the user docs, there wouldn't be all that much > > to separate it from the keyboard shortcuts windows. > > The docs would still show up in a separate application, and you'd be > mixing writing styles. The user docs are usually more verbose, and the > keyboard shortcuts are terse.
Also: If a shortcut is changed or added, the shortcuts window will reflect that for all users (albeit some bits show up in English until translations catch up). The user documentation will be outdated until translators pick up the changes. _______________________________________________ desktop-devel-list mailing list desktop-devel-list@gnome.org https://mail.gnome.org/mailman/listinfo/desktop-devel-list
