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.
This commit is contained in:
Sebastian Kügler 2014-01-21 23:44:05 +01:00
parent 13a6a38628
commit e72b297e48

View File

@ -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 {