fix(elisp/org-html-export): don't convert spaces to tabs

Fixes leanprover#204.
AndresTFG · Nov 25, 2016 · 41c9533 · 41c9533
1 parent d4b8d62
commit 41c9533
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/elisp/org-html-export.el b/elisp/org-html-export.el
@@ -79,6 +79,10 @@ contextual information."
                    (format "\n<pre class=\"src src-%s\"%s>%s</pre>" lang label code)))))))))
 (setq org-confirm-babel-evaluate nil)
 
+; don't convert spaces to tabs
+(setq org-src-preserve-indentation t
+      org-edit-src-content-indentation 0)
+
 (defun lean-extract-chapter-name (str)
   (let ((num (string-to-number str)))
     (cond ((= num 0) str)