This is fine and explicit, but to some extent it is redundant because PreferencesManager.get("useTabChar") not qualified by a file will default to the currently edited file.