Revision 7ad637b...

Go back to digest for 8th June 2014

Optimization in Development Tools

Milian Wolff committed changes in [kdevelop] /manpage:

Optimize ManPage plugin's parsing of section contents.

To find a page, we only need the identifier and the section ID.
That is enough to construct the KUrl on demand - no need to keep
thousands of them in memory.

File Changes

Modified 5 files
  • /manpage
  •   documentationdocumentation.cpp
  •   documentationdocumentation.h
  •   documentationmodel.cpp
  •   documentationmodel.h
  •   documentationplugin.cpp
5 files changed in total