keyboard UI extensions, theme work