Closed paugier closed 3 years ago
Please have a look at #74. I mentioned a bug in Mutter (#4) there which could explain your issues.
Thank for the answer and sorry to disturb you with a known issue! Maybe it is worth to write a warning in the README or/and in the description of the extension about this issue.
It is understood and solved upstream but it continues to affect all Debian 10 users.
Sounds reasonable. Care to propose an addition to the "Known Issues / FAQ" section of the readme?
Care to propose an addition to the "Known Issues / FAQ" section of the readme?
Ok. I'll do that.
On my computer (Gnome 3.30, Debian 10), the shortcuts are buggy:
Same in the workspace-overview.
However, the command
gives the correct default value
['Right']
.What can be done / tried?