summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authortslil <>2022-04-17 09:47:41 -0400
committertslil <>2022-04-17 09:47:41 -0400
commit50761b71515b5b4a0c24a85d99e3d8b1fe6040f3 (patch)
tree1fe3043c21e57389b77e79040896be2d6c2c0502
parent8b4219a5477ca880273a733e5a120c0c5ded0c44 (diff)
Minor latex tweaks
-rw-r--r--emacs/inits/24-latex.el5
-rw-r--r--emacs/themes/acme-theme.el11
2 files changed, 9 insertions, 7 deletions
diff --git a/emacs/inits/24-latex.el b/emacs/inits/24-latex.el
index 2c1463a..96b0428 100644
--- a/emacs/inits/24-latex.el
+++ b/emacs/inits/24-latex.el
@@ -1,4 +1,4 @@
-;; Time-stamp: <2021-09-27 08h45 EDT (academic)>
+;; Time-stamp: <2022-04-02 11h53 EDT (academic)>
(defvar latex-template-dir (expand-file-name "~/typeset/latex-templates"))
(defun prompt-latex-file-template ()
@@ -28,7 +28,7 @@ populated from the directory *latex-template-dir*"
:ensure auctex
:bind (:map LaTeX-mode-map
("<" . LaTeX-insert-left-brace)
- ("|" . LaTeX-insert-left-brace)
+ ;; ("|" . LaTeX-insert-left-brace)
("'" . better-TeX-insert-single-quote)
;; ("TAB" . LaTeX-indent-line)
("M-TAB" . TeX-complete-symbol)
@@ -157,6 +157,7 @@ populated from the directory *latex-template-dir*"
(?> ("\\to" "\\rightharpoonup" "\\xrightarrow"))
(?B ("\\bullet"))
(?C ("\\widecheck{?}" "\\check{?}"))
+ (?f ("\\varphi" "\\phi"))
(?F ("\\Phi" "\\Varphi"))
(?M ("\\begin{bsmallmatrix}?\\end{bsmallmatrix}"))
(?P ("\\Prod{?}" "\\Pi" "\\partial"))
diff --git a/emacs/themes/acme-theme.el b/emacs/themes/acme-theme.el
index 89e0136..cd1be38 100644
--- a/emacs/themes/acme-theme.el
+++ b/emacs/themes/acme-theme.el
@@ -108,8 +108,9 @@
'(font-latex-bold-face ((t (:weight bold))))
'(font-latex-italic-face ((t (:slant italic))))
- `(font-latex-math-face ((t (:box (:line-width 2 :color ,lazy :style pressed-button)
- :foreground "black"))))
+ '(font-latex-math-face ((t (:inherit default))))
+ ;; `(font-latex-math-face ((t (:box (:line-width 2 :color ,lazy :style pressed-button)
+ ;; :foreground "black"))))
'(font-latex-script-char-face ((t (:inherit default))))
'(font-latex-string-face ((t (:inherit default))))
'(font-latex-verbatim-face ((t (:inherit default))))
@@ -136,11 +137,11 @@
'(custom-variable-tag ((t (:inherit default :weight bold))))
'(company-coq-comment-h1-face ((t (:height 1.8 :slant italic
- :inherit (default)))))
+ :inherit (default)))))
'(company-coq-comment-h2-face ((t (:height 1.4 :slant italic
- :inherit (default)))))
+ :inherit (default)))))
'(company-coq-comment-h3-face ((t (:height 1.2 :slant italic
- :inherit (default)))))
+ :inherit (default)))))
'(company-coq-coqdoc-h1-face ((t (:weight bold :inverse-video t))))
'(company-coq-coqdoc-h2-face ((t (:weight bold :underline t))))
'(company-coq-coqdoc-h3-face ((t (:underline t))))