Allan Odgaard 3b3d86a320 Use WebView’s stopLoading instead of killing the running task ...

This is a more appropriate API to use for signalling that we wish to abort the running command.

2016-08-21 12:24:40 +02:00

..

HTMLOutputWindow.h

Make htmlOutputView a public property of the HTML output window

2014-03-29 18:58:53 +07:00

HTMLOutputWindow.mm

Use WebView’s stopLoading instead of killing the running task

2016-08-21 12:24:40 +02:00