diff options
| author | Josh Rahm <rahm@google.com> | 2022-01-10 12:35:00 -0700 |
|---|---|---|
| committer | Josh Rahm <rahm@google.com> | 2022-01-10 12:35:00 -0700 |
| commit | 16c92a6f4b2072db37022b7176ad44d108dfa42a (patch) | |
| tree | a0ac66fcb25e8c7ce2ca92850eaf2c4431934e78 /src/Internal/PromptConfig.hs | |
| parent | 665d9c0afeb46035959d9b16de4f7010a812a354 (diff) | |
| download | rde-16c92a6f4b2072db37022b7176ad44d108dfa42a.tar.gz rde-16c92a6f4b2072db37022b7176ad44d108dfa42a.tar.bz2 rde-16c92a6f4b2072db37022b7176ad44d108dfa42a.zip | |
If rofi is installed on the system, use that for emoji selection. Rofi has much better unicode support than dmenu. I might switch over to it at some point.
Diffstat (limited to 'src/Internal/PromptConfig.hs')
0 files changed, 0 insertions, 0 deletions