OK, thanks Florian & Yaa101, I suspected as much :(
I'll just have to defer the
Main.panel._{left,right,center}Box.get_children() call to the settings
listener with some logic to try avoid too much double-firing of
signals.cheers _______________________________________________ gnome-shell-list mailing list gnome-shell-list@gnome.org https://mail.gnome.org/mailman/listinfo/gnome-shell-list
