On Tue, Sep 18, 2012 at 5:18 PM, Bastien Nocera <[email protected]> wrote: > No new UI, no new strings. This allows jumping directly to the relevant > section in the keyboard shortcuts, which is a good improvement over > having to find the shortcuts in the whole list when clicking on the > "Shortcut Settings" link in the Region panel. > > Bug: https://bugzilla.gnome.org/show_bug.cgi?id=684280
Sounds good, and the patches look fine to me. _______________________________________________ gnome-doc-list mailing list [email protected] https://mail.gnome.org/mailman/listinfo/gnome-doc-list
