| Commit message (Collapse) | Author | Age | Files | Lines |
| |
|
| |
|
| |
|
|
|
|
|
|
|
| |
Only use 'haskell-hlint checker and disable the other two.
Also, add a copy of hs-lint.el, but leave it disabled (I tried it
before deciding to use flycheck-haskell).
|
| |
|
| |
|
| |
|
|
|
|
|
| |
By making `tangle-init' a prerequisite of `bootstrap'. Adjust build
instructions accordingly.
|
|
|
|
|
|
|
|
| |
Ditch Hack and Symbola monospacified. Ubuntu Mono and DejaVu Sans Mono
are more than good enough. Also, force DejaVu Sans Mono for greek
alphabet, since IMHO they look better than Ubuntu Mono's. For example,
DejaVu's `α' looks much better and more distinguishable from `a' than
Ubuntu Mono's.
|
| |
|
|
|
|
|
|
|
|
|
|
| |
Having used EXWM for a couple of days, I think bspwm provides an
overall more stable and smoother experience, and is more polished.
I really am going to miss EXWM's simulation keys though. Thankfully,
it seems like xkeysnail [0] is a nice solution for that.
[0]: https://github.com/mooz/xkeysnail
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
- Binding C-w to cut isn't worth the effort. I close tabs way more
often.
- When launched from within Emacs, Rofi doesn't seem to be able to
properly launch programs. I haven't been able to debug the issue.
- Rofi seems to have a noticeable lag now under EXWM, compared to back
when I was using bspwm. rofi-pass is the main reason I still use
it. So,
TODO: see if I can port rofi-pass to ivy or helm.
- EXWM's `exwm-input-set-key' seems awfully verbose compared to sxhkd.
See if there's a shorter and neater way.
|
| |
|
|
|
|
| |
Pretty much my ideal font stack for writing Lean.
|
|
|
|
|
|
|
|
|
|
|
| |
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
|
| |
|
| |
|
| |
|
|
|
|
| |
Also, don't tangle the installation source block for now.
|
| |
|
|
|
|
| |
[emacs] automatically load counsel after 1.5 seconds
|
| |
|
| |
|
| |
|
|
|
|
|
|
| |
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.
|
|
|