Update runtime libraries
bugfix: java.lang.IllegalStateException: Must be called from UI thread
Merge branch 'master' of https://github.com/metaborg/spoofax
fix NPE for menus when ctree/jar cannot be loaded
Update runtime libraries
Selection provider refactoring: now there's only one selection provider (the spoofax one). Before there were two (the spoofax one and the jface one).
Set outline selection also when text selection is empty.
race condition fix: the carret listener may receive carret moved events before the new TextSelection is available. Therefore, also add a listener to the text selection provider and generate new strategoTermSelections upon a selection change.
updated temporary workaround for Spoofax/812 with changes to selection provider
because we made the generation of new selections asynchronous, we now need to debounce outline selections using a sleep(..). this should be improved in the future
fixed workaround for Spoofax/812. Earlier fix gave errors in IMPs autoEditStrategy.
see previous commit
Don't make updating the outline or the outline selection block the UI.
Update runtime libraries
Merge branch 'master' into typesmart