[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[no subject]
From: |
Gavin D. Smith |
Date: |
Tue, 1 Aug 2023 10:52:45 -0400 (EDT) |
branch: master
commit bb1e1764271af1d27395d93880b99429fdf0feca
Author: Gavin Smith <gavinsmith0123@gmail.com>
AuthorDate: Tue Aug 1 15:11:38 2023 +0100
* tp/Texinfo/Convert/Plaintext.pm (_convert) <menu entry description>:
Multiply by 0.44 instead of dividing by 2.32 as this is easier
to understand.
---
ChangeLog | 6 ++++++
tp/Texinfo/Convert/Plaintext.pm | 6 +++---
2 files changed, 9 insertions(+), 3 deletions(-)
diff --git a/ChangeLog b/ChangeLog
index e491a02395..03ca7a18ac 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,9 @@
+2023-08-01 Gavin Smith <gavinsmith0123@gmail.com>
+
+ * tp/Texinfo/Convert/Plaintext.pm (_convert) <menu entry description>:
+ Multiply by 0.44 instead of dividing by 2.32 as this is easier
+ to understand.
+
2023-08-01 Gavin Smith <gavinsmith0123@gmail.com>
* doc/info-stnd.texi: Remove remaining @menu blocks and
diff --git a/tp/Texinfo/Convert/Plaintext.pm b/tp/Texinfo/Convert/Plaintext.pm
index d356209a03..09f466cdd6 100644
--- a/tp/Texinfo/Convert/Plaintext.pm
+++ b/tp/Texinfo/Convert/Plaintext.pm
@@ -1725,8 +1725,8 @@ sub _get_form_feeds($)
}
#my $description_indent_length = 31;
-# computed as 72/31
-my $description_indent_length_factor = 2.32;
+# computed as 31/72
+my $description_indent_length_factor = 0.44;
sub _convert($$);
@@ -3485,7 +3485,7 @@ sub _convert($$)
} else {
$description_indent_length
= int($self->{'text_element_context'}->[-1]->{'max'}
- / $description_indent_length_factor);
+ * $description_indent_length_factor);
}
my $description_element = $self->{'labels'}