From 1fd7f5029ca8f5fff051eec2dc494027ecbba9f3 Mon Sep 17 00:00:00 2001 From: Dmitry Avdeev Date: Thu, 27 Sep 2012 14:04:15 +0400 Subject: [PATCH] simplified --- .../openapi/options/newEditor/OptionsEditor.java | 15 ++++----------- 1 file changed, 4 insertions(+), 11 deletions(-) diff --git a/platform/platform-impl/src/com/intellij/openapi/options/newEditor/OptionsEditor.java b/platform/platform-impl/src/com/intellij/openapi/options/newEditor/OptionsEditor.java index d38606f22c53..5c6723be788d 100644 --- a/platform/platform-impl/src/com/intellij/openapi/options/newEditor/OptionsEditor.java +++ b/platform/platform-impl/src/com/intellij/openapi/options/newEditor/OptionsEditor.java @@ -36,6 +36,7 @@ import com.intellij.openapi.util.Disposer; import com.intellij.openapi.util.EdtRunnable; import com.intellij.openapi.util.text.StringUtil; import com.intellij.openapi.wm.IdeGlassPaneUtil; +import com.intellij.ui.DocumentAdapter; import com.intellij.ui.LightColors; import com.intellij.ui.ScrollPaneFactory; import com.intellij.ui.SearchTextField; @@ -57,7 +58,6 @@ import org.jetbrains.annotations.Nullable; import javax.swing.*; import javax.swing.event.DocumentEvent; -import javax.swing.event.DocumentListener; import java.awt.*; import java.awt.event.*; import java.beans.PropertyChangeEvent; @@ -158,16 +158,9 @@ public class OptionsEditor extends JPanel implements DataProvider, Place.Navigat getContext().addColleague(myTree); Disposer.register(this, myTree); - mySearch.addDocumentListener(new DocumentListener() { - public void insertUpdate(final DocumentEvent e) { - myFilter.update(e.getType(), true, false); - } - - public void removeUpdate(final DocumentEvent e) { - myFilter.update(e.getType(), true, false); - } - - public void changedUpdate(final DocumentEvent e) { + mySearch.addDocumentListener(new DocumentAdapter() { + @Override + protected void textChanged(DocumentEvent e) { myFilter.update(e.getType(), true, false); } });