Another problem now is that the userpref values aren't correctly saved in .b.blend, they always reset to the default. Will look into that.
Another problem now is that the userpref values aren't correctly saved in .b.blend, they always reset to the default. Will look into that.