[Anjuta-list] bug editor preferences in 1.0.1

[Marc Van Riet <marc vanriet mtecwireless com>]

Hi,

Someone noted a bug some time ago in 1.0.1.  When changing e.g. the tab 
width settings in 'Editor'-'Preferences', these changes are not saved.

As a sidenote : when closing the project, making the changes, closing 
Anjuta and starting Anjuta again, the changes are remembered, but once 
you open a project, the old settings are back in place ?!?

I didn't find this in the bug list (not in open/closed/... bugs).  So is 
this (being) fixed or was it forgotten ?

I'd really like to use 1.0.1 because it is really very good (incremental 
search, word completion, ...), but then I'd need a workaround for this bug.

Regards,
Marc