how do python plugins access user settings