Ctrl-C does not stop VLC

It used to be that Ctrl+C would not stop the wxWidgets interface. That seems to be sorted out. But for some reason, VLC still won't stop.

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information