Sidebar width very sensitive to translations #12
Description
Currently the Sidebar width very much depends on the translations being very short. For some languages it's difficult to find nice, meaningful translations that are really short. For example, "Case sensitive" isn't that easy in German...
It looks like this hinges mostly on the length of the labels for checkmarks and radio buttons.
I think it'd be worth considering to not have two checkboxes/radios on a single line, and rather put each on their own line. Granted, this increases the minimal height of the window as the sidebar grows a bit, but that may be a price worth paying.