Open topiasv opened 5 years ago
Sorry for this. I'll try to fix it or disable the option.
Do we still need this option?
You are right. We don't. I sort of fixed the problems but in the future we can get rid of the other options and only keep using the current default one.
I think one good working UI would suffice anyway.
Changing the navigation menu type from the settings to anything else than the default one results in losing access to the settings page. Docked Panel with all icons for instance just loses all its icons and the only way to recover is to reset it directly using
dconf write /hutspot/navigation_menu_type 3