4 Commits

Author	SHA1	Message	Date
w0rp	8eb4f95766	#697 - Clear all highlights every time items are set again, and refactor most things. Clear errors when linters are removed	2017-07-07 23:47:41 +01:00
w0rp	6ea00af689	#540 Fix shell escaping pretty much everywhere	2017-05-08 22:59:25 +01:00
w0rp	45c2d6b580	Fixes #361, fixes #417 Get classpaths from Maven, and automatically detect src/main/java paths	2017-04-25 22:32:48 +01:00
w0rp	7c736579b7	Fix #438 Create Java .class files for javac in a temporary directory	2017-03-31 20:14:53 +01:00