- delayedText.addDelayedModifyListener(null, new ModifyListener() {
- private static final long serialVersionUID = 5003010530960334977L;
-
- public void modifyText(ModifyEvent event) {
- delayedText.getText().getDisplay().asyncExec(new Runnable() {
- @Override
- public void run() {
- refreshFilteredList();
- }
- });
- // pushSession.stop();
- }
- });
+ delayedText.addListener((s) -> refreshFilteredList());
+// delayedText.addDelayedModifyListener(null, new ModifyListener() {
+// private static final long serialVersionUID = 5003010530960334977L;
+//
+// public void modifyText(ModifyEvent event) {
+// delayedText.getText().getDisplay().asyncExec(new Runnable() {
+// @Override
+// public void run() {
+// refreshFilteredList();
+// }
+// });
+// // pushSession.stop();
+// }
+// });