mirror of
https://github.com/textmate/textmate.git
synced 2026-01-21 04:38:13 -05:00
Add a bit of redundant code but it's useless to continue doing stuff if the request is cancelled by the user anyway.
Add a bit of redundant code but it's useless to continue doing stuff if the request is cancelled by the user anyway.