From 8baa7a0b67be91fe22d6f668440466ab857554c5 Mon Sep 17 00:00:00 2001
From: Adrian Kummerlaender
Date: Thu, 31 Jan 2019 14:44:07 +0100
Subject: Add thesaurus scratchpad

---
 gui/apps/dev.nix   | 2 ++
 gui/conf/xmonad.hs | 3 +++
 gui/gtk.nix        | 4 ++--
 3 files changed, 7 insertions(+), 2 deletions(-)

diff --git a/gui/apps/dev.nix b/gui/apps/dev.nix
index 2d7397c..4f3bf2e 100644
--- a/gui/apps/dev.nix
+++ b/gui/apps/dev.nix
@@ -9,6 +9,8 @@
       qcachegrind
       gitg
       paraview
+    # language utilities
+      artha
     ];
   };
 }
diff --git a/gui/conf/xmonad.hs b/gui/conf/xmonad.hs
index e937e74..63845b3 100644
--- a/gui/conf/xmonad.hs
+++ b/gui/conf/xmonad.hs
@@ -102,6 +102,8 @@ scratchpads host =
        (customFloating $ hideScreenBorder host dropDownLarge)
   , NS "documentation" "zeal"                                                  (className =? "Zeal")
        (customFloating $ hideScreenBorder host dropDown)
+  , NS "thesaurus"     "artha"                                                 (className =? "Artha")
+       (customFloating $ hideScreenBorder host sideBarLeft)
   , NS "messaging"     "telegram-desktop"                                      ((className =? "TelegramDesktop") <&&> (title /=? "Media viewer"))
        (customFloating $ hideScreenBorder host sideBarRight) ]
 
@@ -163,6 +165,7 @@ commonKeybindings host =
 -- scratchpads
   , ("M-b"           , namedScratchpadAction (scratchpads host) "browser")
   , ("M-d"           , namedScratchpadAction (scratchpads host) "documentation")
+  , ("M-t"           , namedScratchpadAction (scratchpads host) "thesaurus")
   , ("M-m"           , namedScratchpadAction (scratchpads host) "messaging") ] ++
 -- workspace selection
   [ (p ++ [k]        , windows $ f i) | (i, k) <- zip Main.workspaces ['1' .. '9']
diff --git a/gui/gtk.nix b/gui/gtk.nix
index 53f8c3b..d3226d1 100644
--- a/gui/gtk.nix
+++ b/gui/gtk.nix
@@ -69,7 +69,7 @@ in {
   };
 
   home.sessionVariables = {
-      GDK_SCALE = "2";
-      GDK_DPI_SCALE = "0.5";
+    GDK_SCALE = "2";
+    GDK_DPI_SCALE = "0.5";
   };
 }
-- 
cgit v1.2.3