Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | [emacs] unicode font stack around Ubuntu Mono and Hack | Amin Bandali | 2018-04-30 | 1 | -2/+31 | |
| | | | | Pretty much my ideal font stack for writing Lean. | |||||
* | [emacs] assimilate lean-mode and dependencies | Amin Bandali | 2018-04-30 | 1 | -0/+8 | |
| | | | | | | | | | | | lib/async master v1.9.3-1-g04e1a2c lib/company master 0.9.6-23-gd26ec71 lib/f master v0.20.0 lib/flycheck master 31-118-g0c4bbd1f lib/helm master v2.9.2-24-g56039aaf lib/lean-mode master 6ed7031 lib/popup master v0.5.3-20-g80829dd lib/s master 1.12.0-10-g03410e6 | |||||
* | [emacs] disable C-{j,k} bindings in ivy-minibuffer-map for now | Amin Bandali | 2018-04-30 | 1 | -2/+2 | |
| | ||||||
* | [emacs] stop using EXWM's default config and customize it a bit | Amin Bandali | 2018-04-30 | 1 | -2/+71 | |
| | ||||||
* | [emacs] display time and battery in mode-line | Amin Bandali | 2018-04-30 | 1 | -0/+20 | |
| | ||||||
* | [emacs] use fringe-mode with default width | Amin Bandali | 2018-04-30 | 1 | -1/+2 | |
| | | | | Also, don't tangle the installation source block for now. | |||||
* | [emacs] more background info | Amin Bandali | 2018-04-30 | 1 | -3/+17 | |
| | ||||||
* | add some documentation | Amin Bandali | 2018-04-30 | 1 | -0/+14 | |
| | | | | [emacs] automatically load counsel after 1.5 seconds | |||||
* | [emacs] assimilate and enable EXWM | Amin Bandali | 2018-04-28 | 1 | -11/+12 | |
| | ||||||
* | [emacs] enable Ivy and friends | Amin Bandali | 2018-04-28 | 1 | -23/+23 | |
| | ||||||
* | [emacs] enable exec-path-from-shell | Amin Bandali | 2018-04-28 | 1 | -10/+9 | |
| | ||||||
* | [emacs] fix post initialization TOC link on GitHub | Amin Bandali | 2018-04-28 | 1 | -2/+2 | |
| | | | | | | GitHub's Org mode renderer doesn't use the CUSTOM_ID property for generating internal in-file links like Org mode itself does. So, at least for now, the internal link has to match the heading's full name. | |||||
* | [emacs] add Borg's layer/essentials init, with some of my stuff | Amin Bandali | 2018-04-28 | 1 | -0/+659 | |