you are right, this is a custom gnome shell extension (to setup the button panel).
regarding the calendar, this is a copy of the gnome shell calendar, without events embedded in the button panel.
once the extension is loaded at bottom, we launch onboard, that sits on top of the panel. the keyboard is kept always visible.
this is gnome-shell 3.8 onboard 1.0.1
maybe important : we are using lightdm , I have not checked the behaviour with gdm.
If needed, I can make a light version of the extension.
Regards, Steph
you are right, this is a custom gnome shell extension (to setup the button panel).
regarding the calendar, this is a copy of the gnome shell calendar, without events embedded in the button panel.
once the extension is loaded at bottom, we launch onboard, that sits on top of the panel.
the keyboard is kept always visible.
this is gnome-shell 3.8
onboard 1.0.1
maybe important : we are using lightdm , I have not checked the behaviour with gdm.
If needed, I can make a light version of the extension.
Regards,
Steph