diff options
author | Anton Khirnov <anton@khirnov.net> | 2020-06-20 09:41:01 +0200 |
---|---|---|
committer | Anton Khirnov <anton@khirnov.net> | 2020-06-20 09:41:01 +0200 |
commit | 4fd1bee853888b2a2a9aa4a2a69c17d3ed9f47ff (patch) | |
tree | 8e2abc4388d5f4a72ee826cc14d433f10bd1279a /pager.lua | |
parent | 6278762a25c530c49aae911b770a252c87069a3c (diff) |
pager: do not reset the desktop when not necessary
Diffstat (limited to 'pager.lua')
-rw-r--r-- | pager.lua | 7 |
1 files changed, 7 insertions, 0 deletions
@@ -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 = {} |