Commit 6584c6f951a0b2a30da82821e984109a8e61cc10 - dotfiles

Some .emacs updates: emoji mode, python updates, some stuff I don't remember what I changed, I mean, let's be honest. Who knows when I made most of these modifications. I certainly don't! Getty Ritter 7 years ago

1 changed file(s) with 9 addition(s) and 0 deletion(s). Collapse all Expand all

-0

emacs.el less more

1	1	;; basic appearance bits
	2
	3	(load "ProofGeneral/generic/proof-site")
2	4
3	5	(setq initial-scratch-message "")
4	6	(setq inhibit-startup-message t)

53	55
54	56	(use-package org
55	57	:ensure t)
	58
	59	(defun gdritter/add-meta-bindings ()
	60	(let ((map outline-minor-mode-map))
	61	(define-key map (kbd "M-<up>") 'outline-previous-visible-heading)
	62	(define-key map (kbd "M-<down>") 'outline-next-visible-heading)))
	63
	64	(add-hook 'outline-minor-mode-hook 'gdritter/add-meta-bindings)
56	65
57	66
58	67