diff options
author | Alex Griffin <a@ajgrf.com> | 2019-06-09 09:01:34 -0500 |
---|---|---|
committer | Oleg Pykhalov <go.wigust@gmail.com> | 2019-06-13 23:40:05 +0300 |
commit | 4df1d31b5472795c980a812ae762dbf339c2d868 (patch) | |
tree | 18eaecdd021fbd2e50ce1ff799497cd1d6096be2 | |
parent | fdcd50b93bf29efcd757f3100391f5da45c143b6 (diff) | |
download | patches-4df1d31b5472795c980a812ae762dbf339c2d868.tar patches-4df1d31b5472795c980a812ae762dbf339c2d868.tar.gz |
gnu: Add emacs-mixed-pitch.
* gnu/packages/emacs-xyz.scm (emacs-mixed-pitch): New variable.
Signed-off-by: Oleg Pykhalov <go.wigust@gmail.com>
-rw-r--r-- | gnu/packages/emacs-xyz.scm | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/gnu/packages/emacs-xyz.scm b/gnu/packages/emacs-xyz.scm index fe0613cd33..543061d3f7 100644 --- a/gnu/packages/emacs-xyz.scm +++ b/gnu/packages/emacs-xyz.scm @@ -11668,6 +11668,29 @@ interactive behavior should be different.") decreasing the default font size in all GUI Emacs frames.") (license license:gpl3+)))) +(define-public emacs-mixed-pitch + (package + (name "emacs-mixed-pitch") + (version "1.0.1") + (source + (origin + (method git-fetch) + (uri (git-reference + (url "https://gitlab.com/jabranham/mixed-pitch.git") + (commit version))) + (file-name (git-file-name name version)) + (sha256 + (base32 "1458sy5b6bis1i0k23jdqk6hfqg0ghk637r3ajql2g19ym48rf58")))) + (build-system emacs-build-system) + (home-page "https://gitlab.com/jabranham/mixed-pitch") + (synopsis "Mix variable- and fixed-pitch fonts in the same Emacs buffer") + (description + "@code{mixed-pitch-mode} is a minor mode that enables mixing +variable-pitch and fixed-pitch fonts in the same buffer. The list +@code{mixed-pitch-fixed-pitch-faces} defines the faces that are kept +fixed-pitch,everything else becomes variable-pitch.") + (license license:gpl3+))) + (define-public emacs-visual-regexp (package (name "emacs-visual-regexp") |