The segmentation view can be displayed quite slim by hiding the tool buttons texts and increase their icons instead. This is currently done automatically when the view width decreases to a certain size. However, we didn't find a proper way to calculate this width on all plattforms so we decided to let the user manually switch to the slim view via the preferences.

This is important for the upcoming release as the current version can make it quite hard to use the segmentation view comfortable.