jonaskrask
jonaskrask
Can we include the jar from Leo in the extension? In either case, it would be nice if the server discovers if the jar is there and only includes the...
Ahh yes, that's true, forgot about that. I see, it would be nice though if plugins could contribute to the existing entries. Otherwise, plugins will have to be supported a...
Perhaps we should also include one or more run configurations and settings for each example, to show how that works. Especially for remote control projects.
SL/ACSSL cannot initialise the interpreter, fails with error: java.lang.Exception: Internal error: Java heap space I have tried increasing the heap size to 8 GB, but that was not enough. (Overture...
Ahh okay, I guess we can just delete the "Entry" and launch configuration for the spec and write in the README that you cannot interpret the spec?
I already added that jar to illustrate "remote control" (located in lib/gui_remote.jar). If I only use your jar the following functions in `Graphics.vdmsl` will not work (meaning the Debug 4...
Apart from the GUI being launched from the spec and not the other way around I don't think it adds anything, but not sure. @idhugoid do you know if there...
Hmm.. I will see if something like this is doable
I think it should be fairly easy to make the client do a documentSymbols request on save. I might be able to check it tomorrow.