Public bug reported:
The man page plugin puts about 3000+ items in universe on a default
Ubuntu install. This is very, very large, it'd be nice if there was an
option to put them all into a single Man Page item, and be able to right
arrow in and have them be loaded dynamically. It'll speed up search
results in general, and probably wouldn't be excessively difficult to
implement.
** Affects: do-plugins
Importance: Undecided
Status: New
--
Man page plugin needs dynamic loading
https://bugs.launchpad.net/bugs/288815
You received this bug notification because you are a member of GNOME Do
Plugins Team, which is subscribed to GNOME Do Plugins.
_______________________________________________
Mailing list: https://launchpad.net/~do-plugins
Post to : [email protected]
Unsubscribe : https://launchpad.net/~do-plugins
More help : https://help.launchpad.net/ListHelp
