User Preferences #26
Description
Editor should store per-project user preferences. At minimum, this should remember what level tabs were left open.
{{ message }}
Editor should store per-project user preferences. At minimum, this should remember what level tabs were left open.