+ // BH SwingJS optimization
+ // (a) 100-ms interruptable timer for text entry -- BH 1/10/2019
+ // (b) two-character minimum, at least for JavaScript.
+
+ private Timer timer;
+
+ protected void txt_search_ActionPerformedDelayed() {
+ if (timer != null) {
+ timer.stop();
+ }
+ timer = new Timer(300, new ActionListener() {
+
+ @Override
+ public void actionPerformed(ActionEvent e) {
+ txt_search_ActionPerformed();
+ }
+ });
+ timer.setRepeats(false);
+ timer.start();
+ }
+ //
+