Re: GuiSymbols and Encodings

[Edwin Leuven]

Abdelrazak Younes wrote:

But if you leave the box "Display all" unchecked there is no need for much room IMO.

i agree with jürgen fwiw, the box on the side is a waste of space...