For some settings, which have the default value in the project settings,
they are taken over from the workspace preferences, although the "Use
workspace settings" radio button is not set.
Original issue reported on code.google.com by konra...@gmx.de on 4 Feb 2010 at 9:31
Original issue reported on code.google.com by
konra...@gmx.de
on 4 Feb 2010 at 9:31