"project" settings, UI stuff, abbrev-mode