2012-02-28 11:38:50 +00:00
|
|
|
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
|
|
|
|
;;;
|
|
|
|
;;; ghc-indent.el
|
|
|
|
;;;
|
|
|
|
|
|
|
|
;; Author: Kazu Yamamoto <Kazu@Mew.org>
|
|
|
|
;; Created: Feb 28, 2012
|
|
|
|
|
|
|
|
;;; Code:
|
|
|
|
|
|
|
|
(defvar ghc-indent-offset 4)
|
|
|
|
|
2015-08-19 06:37:41 +00:00
|
|
|
(defun ghc-make-indent-shallower (_beg _end)
|
2012-02-28 11:38:50 +00:00
|
|
|
(interactive "r")
|
2012-08-10 00:21:09 +00:00
|
|
|
(indent-rigidly (region-beginning) (region-end) (- ghc-indent-offset)))
|
2012-02-28 11:38:50 +00:00
|
|
|
|
2015-08-19 06:37:41 +00:00
|
|
|
(defun ghc-make-indent-deeper (_beg _end)
|
2012-02-28 11:38:50 +00:00
|
|
|
(interactive "r")
|
2012-08-10 00:21:09 +00:00
|
|
|
(indent-rigidly (region-beginning) (region-end) ghc-indent-offset))
|
2012-02-28 11:38:50 +00:00
|
|
|
|
|
|
|
(provide 'ghc-indent)
|