Compact the option panel
Cosmetically: The named border panels are stretched out too much. Can they be compressed to their minimum size and let the rest of the panel be filled with glue?
Cosmetically: The named border panels are stretched out too much. Can they be compressed to their minimum size and let the rest of the panel be filled with glue?