diff options
| author | Amin Bandali <bandali@gnu.org> | 2019-09-06 12:13:21 -0400 |
|---|---|---|
| committer | Amin Bandali <bandali@gnu.org> | 2019-09-06 12:13:21 -0400 |
| commit | fa9943dccbfd6cd3d7cefa8777e340e9d0b686b4 (patch) | |
| tree | 64d58538648ccfa63eeadd9dea31e1ed838c62a4 /.profile | |
| parent | 1bfeb417534361240a8b7dba88365da95b0d60ad (diff) | |
| download | configs-fa9943dccbfd6cd3d7cefa8777e340e9d0b686b4.tar.gz configs-fa9943dccbfd6cd3d7cefa8777e340e9d0b686b4.tar.xz configs-fa9943dccbfd6cd3d7cefa8777e340e9d0b686b4.zip | |
emacs: try out dmenu, report some bugs
- Duplicated entries:
https://github.com/lujun9972/el-dmenu/issues/7
- Be smarter about saving history
https://github.com/lujun9972/el-dmenu/issues/8
TODO: remove setting dmenu-history-size to 0 once the bug is fixed
Diffstat (limited to '.profile')
0 files changed, 0 insertions, 0 deletions