Also add the alternative way: IOptionsPageProvider, which states
a category, and is asked for a list of options pages for that
category when it is shown.
Task-number: QTCREATORBUG-3131
This was an unintentional regression. The widget in
question should not use the filter edit since it is not
a filterwidget. Also I removed the "Filter" text which
is incorrect in this case.
Task-number: QTCREATORBUG-1308
- fixed some RTL issues. I removed isSideStored
and useLayoutDirection. Instead we simply flip the
sides if RTL is in use.
- added the fader animation and clear icon that we
use in Designer already.
- fixed the double toplevel popup focus issues we
had with the locator menu.
- removed some redundant labels and reset buttons
