summaryrefslogtreecommitdiff
path: root/pager.lua
diff options
context:
space:
mode:
authorAnton Khirnov <anton@khirnov.net>2020-06-20 09:41:01 +0200
committerAnton Khirnov <anton@khirnov.net>2020-06-20 09:41:01 +0200
commit4fd1bee853888b2a2a9aa4a2a69c17d3ed9f47ff (patch)
tree8e2abc4388d5f4a72ee826cc14d433f10bd1279a /pager.lua
parent6278762a25c530c49aae911b770a252c87069a3c (diff)
pager: do not reset the desktop when not necessary
Diffstat (limited to 'pager.lua')
-rw-r--r--pager.lua7
1 files changed, 7 insertions, 0 deletions
diff --git a/pager.lua b/pager.lua
index ee2eebb..8ef6989 100644
--- a/pager.lua
+++ b/pager.lua
@@ -91,6 +91,11 @@ local function pager_set_active(self, screen, page_idx)
end
local function pager_set_desktop(self, desktop)
+ if self._desktop == desktop then
+ print('same desktop')
+ return
+ end
+
local init_data = self.init_data
print("pager " .. init_data.screen.index .. " set desktop")
@@ -126,6 +131,8 @@ local function pager_set_desktop(self, desktop)
desktop:connect_signal("page:view",
function(desktop, s, page_idx)
pager_set_active(self, s, page_idx) end)
+
+ self._desktop = desktop
end
local Pager = {}