do-plugins team mailing list archive

[Scott Albertine <Mechaphoenix25@xxxxxxxxx>]

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.