From ec8eb97e0ebee95facb5d7a7c3c62352220319bf Mon Sep 17 00:00:00 2001
From: Alexey Sedunov <alexey.sedunov@jetbrains.com>
Date: Fri, 1 Nov 2013 17:02:59 +0400
Subject: [PATCH] Disable override search for non-virtual properties

---
 .../KotlinFindPropertyUsagesDialog.java       | 23 +++++++++++--------
 1 file changed, 14 insertions(+), 9 deletions(-)

diff --git a/idea/src/org/jetbrains/jet/plugin/findUsages/dialogs/KotlinFindPropertyUsagesDialog.java b/idea/src/org/jetbrains/jet/plugin/findUsages/dialogs/KotlinFindPropertyUsagesDialog.java
index 376fae6c6a5..e20a51df872 100644
--- a/idea/src/org/jetbrains/jet/plugin/findUsages/dialogs/KotlinFindPropertyUsagesDialog.java
+++ b/idea/src/org/jetbrains/jet/plugin/findUsages/dialogs/KotlinFindPropertyUsagesDialog.java
@@ -95,15 +95,20 @@ public class KotlinFindPropertyUsagesDialog extends JavaFindUsagesDialog<KotlinP
     protected void addUsagesOptions(JPanel optionsPanel) {
         super.addUsagesOptions(optionsPanel);
 
-        boolean isAbstract = ((JetProperty) getPsiElement()).hasModifier(JetTokens.ABSTRACT_KEYWORD);
-        cbOverrides = addCheckboxToPanel(
-                isAbstract
-                ? JetBundle.message("find.what.implementing.properties.checkbox")
-                : JetBundle.message("find.what.overriding.properties.checkbox"),
-                FindSettings.getInstance().isSearchOverloadedMethods(),
-                optionsPanel,
-                false
-        );
+        JetProperty property = (JetProperty) getPsiElement();
+
+        boolean isAbstract = property.hasModifier(JetTokens.ABSTRACT_KEYWORD);
+        boolean isOpen = property.hasModifier(JetTokens.OPEN_KEYWORD);
+        if (isOpen || isAbstract) {
+            cbOverrides = addCheckboxToPanel(
+                    isAbstract
+                    ? JetBundle.message("find.what.implementing.properties.checkbox")
+                    : JetBundle.message("find.what.overriding.properties.checkbox"),
+                    FindSettings.getInstance().isSearchOverloadedMethods(),
+                    optionsPanel,
+                    false
+            );
+        }
     }
 
     @Override