From 4fd1bee853888b2a2a9aa4a2a69c17d3ed9f47ff Mon Sep 17 00:00:00 2001
From: Anton Khirnov <anton@khirnov.net>
Date: Sat, 20 Jun 2020 09:41:01 +0200
Subject: pager: do not reset the desktop when not necessary

---
 pager.lua | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'pager.lua')

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 = {}
-- 
cgit v1.2.3