MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-09-27 10:03:11 +07:00
Code Issues Packages Projects Releases Wiki Activity

simplified

Browse Source
This commit is contained in:
Dmitry Avdeev
2012-09-27 19:25:51 +04:00
parent b30ca96db5
commit 1fd7f5029c
1 changed files with 4 additions and 11 deletions
Download Patch File Download Diff File Expand all files Collapse all files
platform/platform-impl/src/com/intellij/openapi/options/newEditor/OptionsEditor.java
+4 -11
View File
@@ -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);
}
});