> ... that or the settings file wasn't updated to actually disable it. Doh. > > http://dev.haiku-os.org/changeset/36721 > > http://dev.haiku-os.org/changeset/42210 Oops, I forgot to commit it. It went lost because svn status show a lot of files as modified for just changes in the mergeinfo, which makes it basically useless... Also, I wonder why the setting is ignored in the trunk ? Shouldn't it always read the setting file to get the option anyway ? -- Adrien.