@codebrainz, @elextr, thanks, I didn't know that this option was also in Project Properties and it overrode the one in "general" preferences.

Sorry about the insufficient information, usually I try to provide more detailed info, I guess I was getting sleepy. Anyways, the "issue" was with me not knowing about the project properties, so I guess I should close it now.


You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.