-
Simon Steinbeiß authored
* Use the .keycap style class for shortcuts. * Set the corresponding window icon. * Improve the alignment and sizing of the widgets leading to better readability. * Cut down overly long texts to the necessary, useful minimum.
4e418d88