configs - My configuration for GNU Emacs and other programs

	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