On 06/06/14 15:45, Mattias Gaertner wrote: > On Fri, 06 Jun 2014 15:23:07 +0300 > patspiper <patspiper at gmail.com> wrote: > >> >> Is it possible to have this implemented, but with the IDE having its own >> 'project options' (the same as regular projects)? > That is the goal. Yes. Great! Stephano