diff options
| author | Josh Rahm <rahm@google.com> | 2022-04-18 16:38:05 -0600 |
|---|---|---|
| committer | Josh Rahm <joshuarahm@gmail.com> | 2022-10-09 12:19:46 -0600 |
| commit | 92e36c9262e7cc2f9ffdb7e45ef9aed43fa1e18c (patch) | |
| tree | 2e23dea6f2f4c45ccd7a8e0f9be5fc5a6da2fb71 /src/Rahm/Desktop/DMenu.hs | |
| parent | 7f5b461a8dcd8844bb7918c6b9a7ee7d244c4d7c (diff) | |
| download | rde-92e36c9262e7cc2f9ffdb7e45ef9aed43fa1e18c.tar.gz rde-92e36c9262e7cc2f9ffdb7e45ef9aed43fa1e18c.tar.bz2 rde-92e36c9262e7cc2f9ffdb7e45ef9aed43fa1e18c.zip | |
Rename Lang to WindowManagementLanguage (Moved to Wml.hs). Add more features to it.
Diffstat (limited to 'src/Rahm/Desktop/DMenu.hs')
| -rw-r--r-- | src/Rahm/Desktop/DMenu.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Rahm/Desktop/DMenu.hs b/src/Rahm/Desktop/DMenu.hs index 62ecdd3..d20d001 100644 --- a/src/Rahm/Desktop/DMenu.hs +++ b/src/Rahm/Desktop/DMenu.hs @@ -16,7 +16,7 @@ data Colors = } | DefaultColors menuCommand :: [String] -menuCommand = ["rofi", "-monitor", "-4", "-dmenu", "-sort", "-levenshtein-sort"] +menuCommand = ["rofi", "-monitor", "-4", "-i", "-dmenu", "-sort", "-levenshtein-sort"] menuCommandString :: String menuCommandString = unwords menuCommand |