Same here, Gnome Shell 3.12.2 on Ubuntu 12.04. Gnome Shell freezes randomly, for few seconds and comes back after few seconds. During freeze I can move mouse.
I guess this is caused by some of extensions, because Gnome Shell runs on single thread using async JavaScript. So if an extension does a blocking non-io bound operation, whole Gnome Shell freezes, while this operation is finished.
Same here, Gnome Shell 3.12.2 on Ubuntu 12.04. Gnome Shell freezes randomly, for few seconds and comes back after few seconds. During freeze I can move mouse.
I guess this is caused by some of extensions, because Gnome Shell runs on single thread using async JavaScript. So if an extension does a blocking non-io bound operation, whole Gnome Shell freezes, while this operation is finished.