Removed github username check, added settings file
This commit is contained in:
parent
afc3f3fe9c
commit
ec5d8f8c7c
5 changed files with 40 additions and 98 deletions
|
@ -248,7 +248,10 @@ pub fn initialize_workspace(
|
|||
|
||||
let theme_names = app_state
|
||||
.themes
|
||||
.list(settings.internal, settings.experiments.experimental_themes)
|
||||
.list(
|
||||
settings.staff_mode,
|
||||
settings.experiments.experimental_themes,
|
||||
)
|
||||
.map(|meta| meta.name)
|
||||
.collect();
|
||||
let language_names = &languages::LANGUAGE_NAMES;
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue