From e72b297e48bb5f152a5e20c1f51b45f5fd3fe502 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Sebastian=20K=C3=BCgler?= Date: Tue, 21 Jan 2014 23:44:05 +0100 Subject: [PATCH] Use defaultFontChanged notifier for spacing This makes the spacing update when the font changes. This will be handy for a more dynamic DPI switching in the future. --- src/plasma/theme.h | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/plasma/theme.h b/src/plasma/theme.h index 07af1c937..95c8ad970 100644 --- a/src/plasma/theme.h +++ b/src/plasma/theme.h @@ -91,8 +91,8 @@ class PLASMA_EXPORT Theme : public QObject Q_PROPERTY(int defaultIconSize READ defaultIconSize NOTIFY defaultIconSizeChanged) // layout hints - Q_PROPERTY(int smallSpacing READ smallSpacing CONSTANT) - Q_PROPERTY(int largeSpacing READ largeSpacing CONSTANT) + Q_PROPERTY(int smallSpacing READ smallSpacing NOTIFY defaultFontChanged) + Q_PROPERTY(int largeSpacing READ largeSpacing NOTIFY defaultFontChanged) public: enum ColorRole {