diff options
| author | Adrian Kummerlaender | 2019-01-31 14:44:07 +0100 |
|---|---|---|
| committer | Adrian Kummerlaender | 2019-01-31 20:36:04 +0100 |
| commit | 8baa7a0b67be91fe22d6f668440466ab857554c5 (patch) | |
| tree | 8017fd56475f5bd5a4a1c0545e52f2c9a980b4d9 | |
| parent | f63e869f37172460595f8379c49230ff061a5c55 (diff) | |
| download | nixos_home-8baa7a0b67be91fe22d6f668440466ab857554c5.tar nixos_home-8baa7a0b67be91fe22d6f668440466ab857554c5.tar.gz nixos_home-8baa7a0b67be91fe22d6f668440466ab857554c5.tar.bz2 nixos_home-8baa7a0b67be91fe22d6f668440466ab857554c5.tar.lz nixos_home-8baa7a0b67be91fe22d6f668440466ab857554c5.tar.xz nixos_home-8baa7a0b67be91fe22d6f668440466ab857554c5.tar.zst nixos_home-8baa7a0b67be91fe22d6f668440466ab857554c5.zip | |
Add thesaurus scratchpad
| -rw-r--r-- | gui/apps/dev.nix | 2 | ||||
| -rw-r--r-- | gui/conf/xmonad.hs | 3 | ||||
| -rw-r--r-- | 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"; }; } |