Bug#905111: gnome-shell-extension-autohidetopbar: global.screen is not available in GNOME Shell 3.29

2018-08-06 Thread Simon McVittie
On Tue, 31 Jul 2018 at 11:38:47 +0100, Simon McVittie wrote: > According to codesearch.debian.net, this extension uses the MetaScreen > via global.screen. The attached patch seems to work. I've forwarded it to . smcv >From 2c613f8ad920081df1f70e3

Bug#905111: gnome-shell-extension-autohidetopbar: global.screen is not available in GNOME Shell 3.29

2018-07-31 Thread Simon McVittie
Package: gnome-shell-extension-autohidetopbar Version: 20180511-1 Severity: important Tags: upstream experimental User: pkg-gnome-maintain...@lists.alioth.debian.org Usertags: shell-3.30 According to codesearch.debian.net, this extension uses the MetaScreen via global.screen. MetaScreen no longer