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

Filtering kind of speedsearch for more list choosers + fix filtering performance for large lists.

Browse Source
This commit is contained in:
Maxim Shafirov
2009-10-22 20:46:46 +04:00
parent 031fd1ed10
commit 0e4d2bb041
15 changed files with 96 additions and 31 deletions
Download Patch File Download Diff File Expand all files Collapse all files
java/execution/impl/src/com/intellij/execution/filters/YourkitFilter.java
+4 -3
View File
@@ -88,7 +88,8 @@ public class YourkitFilter implements Filter{
final JList list = new JList(myPsiFiles);
list.setCellRenderer(renderer);
renderer.installSpeedSearch(list);
final PopupChooserBuilder builder = new PopupChooserBuilder(list);
renderer.installSpeedSearch(builder);
final Runnable runnable = new Runnable() {
public void run() {
@@ -106,7 +107,7 @@ public class YourkitFilter implements Filter{
final Editor editor = PlatformDataKeys.EDITOR.getData(DataManager.getInstance().getDataContext());
new PopupChooserBuilder(list).
builder.
setTitle("Choose file").
setItemChoosenCallback(runnable).
createPopup().showInBestPositionFor(editor);
@@ -132,4 +133,4 @@ public class YourkitFilter implements Filter{
return 0;
}
}
}
}