We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 72aad2d commit 8017da7Copy full SHA for 8017da7
1 file changed
extension.js
@@ -182,14 +182,14 @@ export default class KandoIntegration extends Extension {
182
let [x, y] = [0, 0];
183
184
if (this._lastPointerDevice != null) {
185
- if (utils.shellVersionIsAtLeast(50, "alpha")) {
+ if (utils.shellVersionIsAtLeast(50, 'alpha')) {
186
// The sprite device property changed the name in 50.alpha :
187
// https://gitlab.gnome.org/GNOME/mutter/-/commit/8c0b25b911c0449ce8b3d58c810e4463c4f61916
188
global.stage.foreach_sprite((stage, sprite) => {
189
if (sprite.sprite_device == this._lastPointerDevice) {
190
const coords = sprite.get_coords();
191
- [x, y] = [coords.x, coords.y];
192
- return false; // Stop iteration.
+ [x, y] = [coords.x, coords.y];
+ return false; // Stop iteration.
193
}
194
return true;
195
});
0 commit comments