hbshim
/ amsthm.el.patch
Created
November 9, 2020 06:09
make AUCTeX stop asking for the optional "Heading" when inserting an environment
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| --- auctex-12.3.1/style/amsthm.el.orig 2020-11-08 00:37:49.000000000 -0500 | |
| +++ auctex-12.3.1/style/amsthm.el 2020-11-09 00:55:13.000000000 -0500 | |
| @@ -76,34 +76,29 @@ | |
| (defun LaTeX-amsthm-env-label (environment) | |
| "Insert ENVIRONMENT, query for an optional argument and prompt | |
| for label. AUCTeX users should add ENVIRONMENT to | |
| `LaTeX-label-alist' via customize or in init-file with: | |
| (add-to-list \\='LaTeX-label-alist \\='(\"lemma\" . \"lem:\")) | |
hbshim
/ retina.patch
Last active
November 9, 2020 18:26
— forked from inflation/retina.patch
HiDPI (aka. "retina") display support for AUCTeX (ver 12.3.1) Preview (with ghostscript ver 9.53.3) on emacs-mac-port (GNU Emacs 27.1). "wget" the raw code, "$ patch < retina.patch", recompile, then set "(setq preview-image-type 'image-io)".
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| --- preview.el.orig 2020-11-04 11:36:44.000000000 -0500 | |
| +++ preview.el 2020-11-04 12:01:34.000000000 -0500 | |
| @@ -179,7 +179,10 @@ | |
| (close preview-gs-close)) | |
| (tiff (open preview-gs-open) | |
| (place preview-gs-place) | |
| - (close preview-gs-close))) | |
| + (close preview-gs-close)) | |
| + (image-io (open preview-gs-open) | |
| + (place preview-gs-place) |
hbshim
/ .gitignore
Created
May 27, 2020 23:49
— forked from octocat/.gitignore
Some common .gitignore configurations
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # Compiled source # | |
| ################### | |
| *.com | |
| *.class | |
| *.dll | |
| *.exe | |
| *.o | |
| *.so | |
| # Packages # |