Bram Moolenaar
|
67a2deb9cb
|
patch 8.1.2341: not so easy to interrupt a script programatically
Problem: Not so easy to interrupt a script programatically.
Solution: Add the interrupt() function. (Yasuhiro Matsumoto, closes #2834)
|
2019-11-25 00:05:32 +01:00 |
|