Skip to content

Commit

Permalink
настройки для lua-mode: используются табы вместо пробелов как в MoonGen
Browse files Browse the repository at this point in the history
  • Loading branch information
shvorin authored and Artem Shvorin committed Sep 16, 2016
1 parent 879324b commit 77873f2
Showing 1 changed file with 10 additions and 8 deletions.
18 changes: 10 additions & 8 deletions .emacs
Original file line number Diff line number Diff line change
@@ -1,8 +1,8 @@
(custom-set-variables
;; custom-set-variables was added by Custom.
;; If you edit it by hand, you could mess it up, so be careful.
;; Your init file should contain only one such instance.
;; If there is more than one, they won't work right.
;; custom-set-variables was added by Custom.
;; If you edit it by hand, you could mess it up, so be careful.
;; Your init file should contain only one such instance.
;; If there is more than one, they won't work right.
'(agda2-include-dirs (quote ("/home/art/Build/agda-lib/lib-0.7/src" ".")))
'(blink-cursor-mode nil)
'(calendar-week-start-day 1)
Expand All @@ -12,6 +12,8 @@
'(european-calendar-style t)
'(fill-column 80)
'(indent-tabs-mode nil)
'(lua-indent-level 4)
'(lua-mode-hook (quote ((lambda nil (setq indent-tabs-mode t)))))
'(mouse-yank-at-point t)
'(safe-local-variable-values (quote ((LaTeX-item-indent . -4) (LaTeX-indent-level . 4))))
'(split-width-threshold nil)
Expand All @@ -21,10 +23,10 @@
'(vhdl-electric-mode nil)
'(visible-bell t))
(custom-set-faces
;; custom-set-faces was added by Custom.
;; If you edit it by hand, you could mess it up, so be careful.
;; Your init file should contain only one such instance.
;; If there is more than one, they won't work right.
;; custom-set-faces was added by Custom.
;; If you edit it by hand, you could mess it up, so be careful.
;; Your init file should contain only one such instance.
;; If there is more than one, they won't work right.
'(agda2-highlight-datatype-face ((t (:foreground "light blue"))))
'(agda2-highlight-function-face ((t (:foreground "light blue"))))
'(agda2-highlight-postulate-face ((t (:foreground "light blue"))))
Expand Down

0 comments on commit 77873f2

Please sign in to comment.