3 Commits

Include renames

Author	SHA1	Message	Date
n1474335	f6b52b7c82	Operations can now set options from within the worker	2017-09-20 00:37:57 +01:00
n1474335	13f07abb8a	Highlighting now works with the web worker	2017-09-19 23:34:03 +01:00
n1474335	8c960f0661	Moved worker handling code from App.js to WorkerWaiter.js	2017-09-17 19:27:02 +01:00