diff --git a/Settings.ui b/Settings.ui
index 5d9dec7..8bcdf75 100644
--- a/Settings.ui
+++ b/Settings.ui
@@ -811,14 +811,17 @@
True
True
False
+ 12
3
0
0.5
True
@@ -980,8 +983,9 @@
diff --git a/prefs.js b/prefs.js
index a4104a3..77bc76f 100644
--- a/prefs.js
+++ b/prefs.js
@@ -156,9 +156,13 @@ const Settings = new Lang.Class({
'active',
Gio.SettingsBindFlags.DEFAULT);
this._settings.bind('show-window-previews',
- this._builder.get_object('preview_timeout_spinbutton'),
- 'sensitive',
- Gio.SettingsBindFlags.DEFAULT);
+ this._builder.get_object('preview_timeout_spinbutton'),
+ 'sensitive',
+ Gio.SettingsBindFlags.DEFAULT);
+ this._settings.bind('show-window-previews',
+ this._builder.get_object('preview_timeout_label'),
+ 'sensitive',
+ Gio.SettingsBindFlags.DEFAULT);
this._builder.get_object('preview_timeout_spinbutton').set_value(this._settings.get_int('show-window-previews-timeout'));
this._builder.get_object('preview_timeout_spinbutton').connect('value-changed', Lang.bind (this, function(widget) {
diff --git a/windowPreview.js b/windowPreview.js
index b836745..79eb0a6 100644
--- a/windowPreview.js
+++ b/windowPreview.js
@@ -141,7 +141,6 @@ const thumbnailPreviewMenu = new Lang.Class({
cancelOpen: function () {
if(this._hoverOpenTimeoutId) {
Mainloop.source_remove(this._hoverOpenTimeoutId);
- log("cancelled open");
this._hoverOpenTimeoutId = null;
}
},
@@ -149,7 +148,6 @@ const thumbnailPreviewMenu = new Lang.Class({
cancelClose: function () {
if(this._hoverCloseTimeoutId) {
Mainloop.source_remove(this._hoverCloseTimeoutId);
- log("cancelled close");
this._hoverCloseTimeoutId = null;
}
},