From a15ff5c76e85fa32a2965c131c6746eaa4d0089f Mon Sep 17 00:00:00 2001
From: Konstantin Bulenkov <kb@jetbrains.com>
Date: Thu, 13 Nov 2014 13:31:23 +0100
Subject: [PATCH] + @NotNull

---
 .../com/intellij/openapi/options/newEditor/SettingsDialog.java   | 1 +
 1 file changed, 1 insertion(+)

diff --git a/platform/platform-impl/src/com/intellij/openapi/options/newEditor/SettingsDialog.java b/platform/platform-impl/src/com/intellij/openapi/options/newEditor/SettingsDialog.java
index d39f24cfbf0d..03ed0c82fd3b 100644
--- a/platform/platform-impl/src/com/intellij/openapi/options/newEditor/SettingsDialog.java
+++ b/platform/platform-impl/src/com/intellij/openapi/options/newEditor/SettingsDialog.java
@@ -94,6 +94,7 @@ public final class SettingsDialog extends DialogWrapper implements DataProvider
     return true;
   }
 
+  @NotNull
   @Override
   protected DialogStyle getStyle() {
     return DialogStyle.COMPACT;