[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug #62036] [PATCH] Document how environments are initialized
From: |
G. Branden Robinson |
Subject: |
[bug #62036] [PATCH] Document how environments are initialized |
Date: |
Tue, 15 Mar 2022 06:26:14 -0400 (EDT) |
Follow-up Comment #6, bug #62036 (project groff):
Hi Dave,
What do you think of this?
diff --git a/doc/groff.texi b/doc/groff.texi
index b71fe16dd..3f7029ef5 100644
--- a/doc/groff.texi
+++ b/doc/groff.texi
@@ -14680,12 +14680,22 @@ its place in the stack to the top. Further, when
environments are
popped, they are not lost; in fact, there is no mechanism for deleting
environments.}
+Strictly, @emph{names} of environments are what is stacked. The same
+environment name can be pushed onto the stack multiple times, possibly
+interleaved with others.
+
+Popping the environment stack does not destroy the current environment;
+it remains accessible by name and can be made current again by pushing
+it at any time. Environments cannot be renamed or deleted, and can only
+be modified when current. To inspect the environment stack, use the
+@code{pev} request; see @ref{Debugging}.
+
Environments store the following information.
@itemize @bullet
@item
-font parameters (size, family, style, glyph height and slant, inter-word
-and and inter-sentence space sizes)
+typeface parameters (size, family, style, glyph height and slant,
+inter-word and inter-sentence space sizes)
@item
page parameters (line length, title length, vertical spacing, line
_______________________________________________________
Reply to this item at:
<https://savannah.gnu.org/bugs/?62036>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/
- [bug #62036] [PATCH] Document how environments are initialized,
G. Branden Robinson <=
- [bug #62036] [PATCH] Document how environments are initialized, G. Branden Robinson, 2022/03/15
- [bug #62036] [PATCH] Document how environments are initialized, G. Branden Robinson, 2022/03/15
- [bug #62036] [PATCH] Document how environments are initialized, G. Branden Robinson, 2022/03/15
- [bug #62036] [PATCH] Document how environments are initialized, G. Branden Robinson, 2022/03/15
- [bug #62036] [PATCH] Document how environments are initialized, G. Branden Robinson, 2022/03/15
- [bug #62036] [PATCH] Document how environments are initialized, G. Branden Robinson, 2022/03/15
- [bug #62036] [PATCH] Document how environments are initialized, Dave, 2022/03/15
- [bug #62036] [PATCH] Document how environments are initialized, G. Branden Robinson, 2022/03/15
- [bug #62036] [PATCH] Document how environments are initialized, G. Branden Robinson, 2022/03/18