bug-groff
[Top][All Lists]
Advanced

[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/




reply via email to

[Prev in Thread] Current Thread [Next in Thread]