4c44620d4d
Also show the `Tools` text besides the preferences icon so it looks equal to the main window. Originally this was a followup part of #10300 which got closed due to other reasons.