static void onDoubleClickOrEnterThreaded(final JList list, final VF1<S> runnable) {
  fO info = _threadInfo();
  onDoubleClickOrEnter(list, voidfunc(fS s) {
    _threadInheritInfo(info); // TODO: this is the AWT thread - only set info temporarily
    thread { pcallF(runnable, s); }
  });
}