If the LicenseChecker plugin is enabled, the "History:" and "New Search" texts in the Search Result pane end up with a wrong color.
This does not happen with LicenseChecker disabled.