On 09/21/2018 04:24 AM, Allan Day wrote: > This would reduce > the number of menu items, allows cross-linking, and so on.
This doesn't work well for situations where plugins are in play because those don't integrate cleanly into the documentation. However, the keyboard shortcuts window can handle this relatively okay (albeit more complex than it should be). And we have a lot of apps that have plugins. -- Christian _______________________________________________ desktop-devel-list mailing list desktop-devel-list@gnome.org https://mail.gnome.org/mailman/listinfo/desktop-devel-list
