From fb2e0fd163483db4cd004eff2c57facc04c774ad Mon Sep 17 00:00:00 2001 From: Raheman Vaiya Date: Thu, 30 Mar 2023 02:41:26 -0400 Subject: [PATCH] keyd-application-mapper: Bump gnome extension version --- scripts/keyd-application-mapper | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/keyd-application-mapper b/scripts/keyd-application-mapper index ffdc1e1..6873614 100755 --- a/scripts/keyd-application-mapper +++ b/scripts/keyd-application-mapper @@ -300,7 +300,7 @@ class GnomeMonitor(): self.on_window_change = on_window_change - self.version = '1.2' + self.version = '1.3' self.extension_dir = os.getenv('HOME') + '/.local/share/gnome-shell/extensions/keyd' self.fifo_path = self.extension_dir + '/keyd.fifo'