Sometimes I do "push-tag-filter-overloads" on a very common symbol and SlickEdit takes a very long time, freezes up and I can't work.
I would like to be able to abort it. I tried Ctrl-Alt-Shift-F2 but that did not abort.
Is there a way? If not please consider it a new feature request.