Karl Tauber 7f8f3aa99b Button: undone most style changes done in previous commit related to focused and default buttons: ...

- default button: white background and wide border
- focused button: light blue background and thin border

(the light blue default button did not look beautiful IMHO)

2021-02-01 01:08:20 +01:00

..

desktop-properties

FlatDesktopPropertiesDump tool added

2020-09-18 14:24:30 +02:00

uidefaults

Button: undone most style changes done in previous commit related to focused and default buttons:

2021-02-01 01:08:20 +01:00