diff options
Diffstat (limited to 'platform/editor-ui-api/src/com/intellij/ide/ui/UISettingsListener.java')
| -rw-r--r-- | platform/editor-ui-api/src/com/intellij/ide/ui/UISettingsListener.java | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/platform/editor-ui-api/src/com/intellij/ide/ui/UISettingsListener.java b/platform/editor-ui-api/src/com/intellij/ide/ui/UISettingsListener.java index 035fb700e481..1dcce2c076a3 100644 --- a/platform/editor-ui-api/src/com/intellij/ide/ui/UISettingsListener.java +++ b/platform/editor-ui-api/src/com/intellij/ide/ui/UISettingsListener.java @@ -19,8 +19,12 @@ */ package com.intellij.ide.ui; +import com.intellij.util.messages.Topic; + import java.util.EventListener; public interface UISettingsListener extends EventListener{ + Topic<UISettingsListener> TOPIC = Topic.create("UI settings", UISettingsListener.class); + void uiSettingsChanged(UISettings source); } |