what's the meaning of this log?
I check my syslog and see tons of log when moving window position:
↪ sudo cat /var/log/syslog
May 10 00:27:27 asd org.gnome.Shell.desktop[3501]: #0 0x7fff59177dd0 b /home/zhong/.local/share/gnome-shell/extensions/workspaces-to-dock@passingthru67.gmail.com/myWorkspaceThumbnail.js:154 (0x7f9be00ddd58 @ 261)
May 10 00:27:27 asd org.gnome.Shell.desktop[3501]: #0 0x7fff59177dd0 b /home/zhong/.local/share/gnome-shell/extensions/workspaces-to-dock@passingthru67.gmail.com/myWorkspaceThumbnail.js:154 (0x7f9be00ddd58 @ 261)
May 10 00:27:27 asd org.gnome.Shell.desktop[3501]: #0 0x7fff59177dd0 b /home/zhong/.local/share/gnome-shell/extensions/workspaces-to-dock@passingthru67.gmail.com/myWorkspaceThumbnail.js:154 (0x7f9be00ddd58 @ 261)
May 10 00:27:27 asd org.gnome.Shell.desktop[3501]: #0 0x7fff59177dd0 b /home/zhong/.local/share/gnome-shell/extensions/workspaces-to-dock@passingthru67.gmail.com/myWorkspaceThumbnail.js:154 (0x7f9be00ddd58 @ 261)
May 10 00:27:27 asd org.gnome.Shell.desktop[3501]: #0 0x7fff59177dd0 b /home/zhong/.local/share/gnome-shell/extensions/workspaces-to-dock@passingthru67.gmail.com/myWorkspaceThumbnail.js:154 (0x7f9be00ddd58 @ 261)
May 10 00:27:27 asd org.gnome.Shell.desktop[3501]: #0 0x7fff59177dd0 b /home/zhong/.local/share/gnome-shell/extensions/workspaces-to-dock@passingthru67.gmail.com/myWorkspaceThumbnail.js:154 (0x7f9be00ddd58 @ 261)
May 10 00:27:27 asd org.gnome.Shell.desktop[3501]: #0 0x7fff59177dd0 b /home/zhong/.local/share/gnome-shell/extensions/workspaces-to-dock@passingthru67.gmail.com/myWorkspaceThumbnail.js:154 (0x7f9be00ddd58 @ 261)
...
# here is the code
↪ sed -n '154p' /home/zhong/.local/share/gnome-shell/extensions/workspaces-to-dock@passingthru67.gmail.com/myWorkspaceThumbnail.js
this.actor.set_position(bRect.x, bRect.y);
# other relevant code
const WorkspaceThumbnail = imports.ui.workspaceThumbnail;
this.actor = new Clutter.Actor({ layout_manager: new WorkspaceThumbnail.PrimaryActorLayout(this.clone),reactive: true });
I am not sure it's the fault of the extension or normal gnome-shell log.