diff options
author | Andreas Scherer <andreas_tex@freenet.de> | 2024-08-16 14:43:28 +0000 |
---|---|---|
committer | Andreas Scherer <andreas_tex@freenet.de> | 2024-08-16 14:43:28 +0000 |
commit | e6b93db4b48b4e67a160408147caf8981ff89914 (patch) | |
tree | 29487c22fdba32783874662cf39faa442a0f5716 /Build | |
parent | df27074a18b09cc27608cb359f7d5e00a76ffd4a (diff) |
[WEB] Add virtual semicolons.
This prevents the following statement to be placed right next to the
'@<Named section@>', which makes the rendering rather unintelligible.
git-svn-id: svn://tug.org/texlive/trunk@72043 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build')
-rw-r--r-- | Build/source/texk/web2c/showstream.ch | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/Build/source/texk/web2c/showstream.ch b/Build/source/texk/web2c/showstream.ch index cef436e78fd..17a6a70e401 100644 --- a/Build/source/texk/web2c/showstream.ch +++ b/Build/source/texk/web2c/showstream.ch @@ -72,7 +72,7 @@ show_lists_code: begin begin_diagnostic; show_activities; end; @y show_lists_code: - begin @<Adjust |selector| based on |show_stream|@> + begin @<Adjust |selector| based on |show_stream|@>@; begin_diagnostic; show_activities; end; @z @@ -134,7 +134,7 @@ begin get_token; @y @ @<Show the current meaning of a token...@>= begin get_token; - @<Adjust |selector| based on |show_stream|@> + @<Adjust |selector| based on |show_stream|@>@; @z @x @@ -143,7 +143,7 @@ begin scan_register_num; fetch_box(p); begin_diagnostic; @y @ @<Show the current contents of a box@>= begin scan_register_num; fetch_box(p); -@<Adjust |selector| based on |show_stream|@> +@<Adjust |selector| based on |show_stream|@>@; begin_diagnostic; @z @@ -153,20 +153,20 @@ begin p:=the_toks; @y @ @<Show the current value of some parameter...@>= begin p:=the_toks; -@<Adjust |selector| based on |show_stream|@> +@<Adjust |selector| based on |show_stream|@>@; @z @x show_groups: begin begin_diagnostic; show_save_groups; @y -show_groups: begin @<Adjust |selector| based on |show_stream|@> +show_groups: begin @<Adjust |selector| based on |show_stream|@>@; begin_diagnostic; show_save_groups; @z @x show_ifs: begin begin_diagnostic; print_nl(""); print_ln; @y -show_ifs: begin @<Adjust |selector| based on |show_stream|@> +show_ifs: begin @<Adjust |selector| based on |show_stream|@>@; begin_diagnostic; print_nl(""); print_ln; @z |