done with Thorbjorn

Accidentally reverted in commit 713105ad.
Thanks to Christian Hönig for notifying.

Requested on Qt Creator mailing list.

Reviewed-by: Kavindra

Recently it was made to highlight black or write, which isn't nice for
everybody. Now it is dark gray by default, and can be customized. Bold
and italic are also supported.

By not removing it before setting an updated selection.

Reviewed-by: mae

destroy the navigation experience

You can switch between sorted/unsorted via the method overview's context
menu.

Patch received by Kris Wong.

Older qmake versions have different output, don't be case sensitive.
Problems were reported with Qt Embedded 4.1.4.

is at the beginning of the next block. Join the undo commands for subsequent moves.

turned a new block highlighting mechanism on.

the qt layout system is pixel-based, so using point sizes doesn't work
for anyone with a different resolution (DPI) than me

This reverts commit ebfcd35a.
Qt 4.5 commit b51dd5a7b328291c5dbda540ce228e7d867662cb eliminates the
need for this workaround for now.

Allows removing getting the instance once.

Move 3 functions to private, declare 2 which don't need any instance to
staic methods.

They aren't used anymore.

More accurate name.

QtOptionsPage now has its own page.

Cleanup, remove unused options page file.

pros:
- the non-webkit version is not castrated any more
- i18n should become simpler
  - but need to make the buttons non-labels for optimal results
- if we introduce delayed loading of the help plugin, we would get
  webkit loading out of the startup's critical path alltogether

cons:
- the page might be a bit harder to modify for some

The settings page does not need to be exported and should be seperate
from the actual manager. This also makes further refactorings of
QtVersionManager easier and of QtDirWidget.
More to come.

Fixes slowness when switching menus and allows menu actions to be used
that have a context that depends on the currently focused object.

Reviewed-by: con