Skip to content
GitLab
Explore
Sign in
Register
GNOME
gnome-shell
Repository
gnome-shell
js
ui
windowMenu.js
Find file
Blame
History
Permalink
sessionMode: add a property to disable window manager menus
· 3b6fae58
Cosimo Cecchi
authored
Jun 03, 2017
and
Georges Basile Stavracas Neto
committed
Jun 06, 2019
We will use this to disable menus in the initial-setup session.
!569
3b6fae58