hi, im a new user, and, i recently found an "issue", im not really sure if its a issue, but ok. the issue: when editing the web editor preferences (ctrl + comma), example, changing theme from "chrome" (which is the default one) to monokai, then reloading the page, the theme will go back to default, which is chrome. like, any change you make to the editor, will go back to default IF you reload the page. is this "normal"? is this supposed to happen? any solution?