[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug #62934] [gropdf] sometimes \(em becomes a different char when rende
From: |
G. Branden Robinson |
Subject: |
[bug #62934] [gropdf] sometimes \(em becomes a different char when rendered |
Date: |
Tue, 23 Aug 2022 05:38:13 -0400 (EDT) |
Follow-up Comment #4, bug #62934 (project groff):
There were a lot of formatting changes with that patch. The heart of the fix
seems to be this.
diff --git a/src/devices/gropdf/gropdf.pl b/src/devices/gropdf/gropdf.pl
index 4b6b1c009..b5fe98d87 100644
--- a/src/devices/gropdf/gropdf.pl
+++ b/src/devices/gropdf/gropdf.pl
@@ -3779,7 +3779,6 @@ sub RemapChr
my $glyph=$fnt->{NO}->[$unused]->[1];
delete($fontlst{$cft}->{CACHE}->{$cftsz});
$fnt->{NAM}->{$chnm}->[ASSIGNED]=$unused;
- $fnt->{NAM}->{$chnm}->[USED]=1;
$fnt->{NO}->[$unused]->[1]=$chnm;
$widtbl=CacheWid($cft);
_______________________________________________________
Reply to this item at:
<https://savannah.gnu.org/bugs/?62934>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/
- [bug #62934] gropdf: sometimes \(em becomes a different char when rendered with gropdf, Nikita Ivanov, 2022/08/21
- [bug #62934] gropdf: sometimes \(em becomes a different char when rendered with gropdf, Deri James, 2022/08/22
- [bug #62934] gropdf: sometimes \(em becomes a different char when rendered with gropdf, Deri James, 2022/08/22
- [bug #62934] gropdf: sometimes \(em becomes a different char when rendered with gropdf, Nikita Ivanov, 2022/08/22
- [bug #62934] [gropdf] sometimes \(em becomes a different char when rendered, G. Branden Robinson, 2022/08/23
- [bug #62934] [gropdf] sometimes \(em becomes a different char when rendered,
G. Branden Robinson <=
- [bug #62934] [gropdf] sometimes \(em becomes a different char when rendered, Deri James, 2022/08/23
- [bug #62934] [gropdf] sometimes \(em becomes a different char when rendered, G. Branden Robinson, 2022/08/23
- [bug #62934] [gropdf] sometimes \(em becomes a different char when rendered, Deri James, 2022/08/23
- [bug #62934] [gropdf] sometimes \(em becomes a different char when rendered, G. Branden Robinson, 2022/08/23
- [bug #62934] [gropdf] sometimes \(em becomes a different char when rendered, Dave, 2022/08/23
- [bug #62934] [gropdf] sometimes \(em becomes a different char when rendered, Deri James, 2022/08/23