Instead of giving a warning (Spoofax/86), we could also adapt Eclipse.ini ourselves. Not sure if there’s an API for it though. If not, we may do it wrong and break things. Also, the location of eclipse.ini is OS-specific, and we may not have write access. Finally, this would still require a restart of Eclipse.

Submitted by Lennart Kats on 13 April 2010 at 11:42

On 16 December 2012 at 11:28 Guido Wachsmuth tagged @vvergu

On 8 January 2013 at 16:50 Eelco Visser tagged 1.1

On 8 January 2013 at 16:50 Eelco Visser commented:

Either fix this or fix Spoofax/86.


On 9 January 2013 at 10:03 Vlad Vergu tagged wontfix

On 9 January 2013 at 10:04 Vlad Vergu commented:

It will be https://yellowgrass.org/issue/Spoofax/86.


On 9 January 2013 at 10:04 Vlad Vergu closed this issue.

Log in to post comments