Bug#908121: correction

Alexandre Hoïde alexandre.hoide at gmail.com
Thu Sep 6 13:06:38 BST 2018


  I'm sorry, I assumed it was a problem with the keys, but after
resetting to default keybindings, or trying to set other keys, those
fuctions still won't work :
  move-to-workspace-up
  move-to-workspace-down
  switch-to-workspace-down
  switch-to-workspace-up

  Best regards,
  Alexandre Hoïde



More information about the pkg-gnome-maintainers mailing list