[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Octave-bug-tracker] [bug #63204] Doc browser may use non monospace font
|
From: |
Pantxo Diribarne |
|
Subject: |
[Octave-bug-tracker] [bug #63204] Doc browser may use non monospace font for code blocks |
|
Date: |
Wed, 12 Oct 2022 17:24:04 -0400 (EDT) |
Update of bug #63204 (project octave):
Status: None => Patch Submitted
_______________________________________________________
Follow-up Comment #1:
I attached a patch. There seems to be something wrong in (my?) .hgignore since
changes in Makefile.in aren't present in the patch...
$ diff -u OldMakefile.in Makefile.in
--- OldMakefile.in 2022-10-12 23:21:10.848551564 +0200
+++ Makefile.in 2022-10-12 23:21:31.399727463 +0200
@@ -10868,6 +10868,10 @@
etc_DISTCLEANFILES =
etc_MAINTAINERCLEANFILES = $(BUILT_ICONS)
fallback_FONT_FILES = \
+ etc/fonts/FreeMono.otf \
+ etc/fonts/FreeMonoBold.otf \
+ etc/fonts/FreeMonoBoldOblique.otf \
+ etc/fonts/FreeMonoOblique.otf \
etc/fonts/FreeSans.otf \
etc/fonts/FreeSansBold.otf \
etc/fonts/FreeSansBoldOblique.otf \
(file #53843)
_______________________________________________________
Additional Item Attachment:
File name: default_mono.patch Size:809 KB
<https://file.savannah.gnu.org/file/default_mono.patch?file_id=53843>
_______________________________________________________
Reply to this item at:
<https://savannah.gnu.org/bugs/?63204>
_______________________________________________
Message posté via Savannah
https://savannah.gnu.org/