Author Topic: Abort push-tag-filter-overloads?  (Read 289 times)

rowbearto

  • Senior Community Member
  • Posts: 1386
  • Hero Points: 105
Abort push-tag-filter-overloads?
« on: February 27, 2019, 08:38:25 pm »
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.