Blender prefs: Text editor settings