Hombre 7f0a96e448 Fix #3203 and restore the hover color for the 'Enabled' buttons

2016-03-12 00:09:30 +01:00

..

actions

Fix #3203 and restore the hover color for the 'Enabled' buttons

2016-03-12 00:09:30 +01:00

devices

Issue 2134: removed obsolete raw highlight preservation setting from GUI (still left in procparams for backwards compatilibility)

2015-07-10 12:00:36 +02:00

places

Issue 2134: removed obsolete raw highlight preservation setting from GUI (still left in procparams for backwards compatilibility)

2015-07-10 12:00:36 +02:00

index.theme

Issue 2134: removed obsolete raw highlight preservation setting from GUI (still left in procparams for backwards compatilibility)

2015-07-10 12:00:36 +02:00