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 |
|