PerMildner

Has this not been fixed already, with https://github.com/krukow/clj-ds/pull/5?

Possibly related: When I restart kopia it has problem connecting to our s3 servers (the log says http timeout). I think the connection issue is with our S3 servers, not...

about 153,670 bytes eclipse.vmargs=-Xms40m -Xmx512m

Thanks. I just removed the offending ',v' files (there were two, both in Attic) so now it looks as if our CVS repo, with history from 1994, can be migrated...

Indeed. This functionality does not belong in the `LanguageServer` interface. It would reside in the parts of LSP4J that call methods in `LanguageServer`. For instance, before LSP4J has called `LanguageServer.initialize()`,...

I have not seen any obvious pattern. (possibly related: the IDE often comes in a state when it cannot be quit, perhaps it just inactivated the Quit menu choice, similar...

If I first create an empty `~/.minizinc/ `folder, everything seems to work as it should (a `Preferences.json` is created when I add a path in the IDE, and the menu...

There may be a similar problem on Windows 10. I tried to configure the IDE but the setting disappeared, and there is no user-setting directory C:Users/spdev/AppData/Roaming/MiniZinc/ created (the user is...

Do you have prebuilt binaries for the develop branch? Otherwise I would have to build from source, which I have never done, so it would take me some time.

Thanks, I have downloaded it (so you can stop sharing). I will try to test it next week.