diff options
Diffstat (limited to 'platform/editor-ui-api/src/com/intellij/ide/ui/UISettings.java')
| -rw-r--r-- | platform/editor-ui-api/src/com/intellij/ide/ui/UISettings.java | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/platform/editor-ui-api/src/com/intellij/ide/ui/UISettings.java b/platform/editor-ui-api/src/com/intellij/ide/ui/UISettings.java index 9f5f5d5720da..c61ce5f8f946 100644 --- a/platform/editor-ui-api/src/com/intellij/ide/ui/UISettings.java +++ b/platform/editor-ui-api/src/com/intellij/ide/ui/UISettings.java @@ -121,6 +121,7 @@ public class UISettings extends SimpleModificationTracker implements PersistentS public boolean MARK_MODIFIED_TABS_WITH_ASTERISK = false; public boolean SHOW_TABS_TOOLTIPS = true; public boolean SHOW_DIRECTORY_FOR_NON_UNIQUE_FILENAMES = true; + public boolean NAVIGATE_TO_PREVIEW = false; private final EventDispatcher<UISettingsListener> myDispatcher = EventDispatcher.create(UISettingsListener.class); |