[gnome-shell] (4 commits) Non-fast-forward update to branch wip/carlosg/osk-updates

[Carlos Garnacho <carlosg src gnome org>]

The branch 'wip/carlosg/osk-updates' was changed in a way that was not a fast-forward update.
NOTE: This may cause problems for people pulling from the branch. For more information,
please see:

 https://wiki.gnome.org/Git/Help/NonFastForward

Commits removed from the branch:

  82d13a8... keyboard: Use extended US keyboard for terminal mode
  08fef5e... data: Document JSON file format in OSK layouts README file
  5ab569f... keyboard: Always use ratio of visible level
  491f9f1... keyboard: Let the OSK take 1/4th of height in portrait mode

Commits added to the branch:

  1a0d7ab... keyboard: Use extended US keyboard for terminal mode
  c151627... data: Document JSON file format in OSK layouts README file
  1104231... keyboard: Always use ratio of visible level
  50086d2... keyboard: Let the OSK take 1/4th of height in portrait mode