#145 Switching to another theme with the Command Editor enabled bugs the display of the Console