jenkins-bot has submitted this change and it was merged.
Change subject: Regularize spacing in `texvc` and `texvccheck`
......................................................................
Regularize spacing in `texvc` and `texvccheck`
Tweak the position of spaces between function invocations and arguments
so that the expansion of mediawiki-specific functions (`\Rho`, etc) is
consistent with how spacing is added to normal function invocations.
This helps ensure that `texvc`/`texvccheck` is idempotent -- that is,
that it can parse what it emits, and render it without change.
Change-Id: I05fc8fa0201debf611ed4900d3cc953a6a8188ac
---
M math/lexer.mll
M texvccheck/texutil.ml
2 files changed, 2 insertions(+), 2 deletions(-)
Approvals:
Physikerwelt: Looks good to me, approved
jenkins-bot: Verified
diff --git a/math/lexer.mll b/math/lexer.mll
index b03e273..fb76718 100644
--- a/math/lexer.mll
+++ b/math/lexer.mll
@@ -69,7 +69,7 @@
| "\\" (latex_function_names as name) space * "[" { LITERAL
(HTMLABLEC(FONT_UFH,"\\" ^ name ^ "[", name ^ "[")) }
| "\\" (latex_function_names as name) space * "\\{" { LITERAL
(HTMLABLEC(FONT_UFH,"\\" ^ name ^ "\\{", name ^ "{")) }
| "\\" (latex_function_names as name) space * { LITERAL
(HTMLABLEC(FONT_UFH,"\\" ^ name ^ " ", name ^ " ")) }
- | "\\" (mediawiki_function_names as name) space * "(" {
(Texutil.tex_use_ams(); LITERAL (HTMLABLEC(FONT_UFH,"\\operatorname{" ^ name ^
"}(", name^ "("))) }
+ | "\\" (mediawiki_function_names as name) space * "(" {
(Texutil.tex_use_ams(); LITERAL (HTMLABLEC(FONT_UFH,"\\operatorname{" ^ name ^
"}(", name^ "("))) }
| "\\" (mediawiki_function_names as name) space * "[" {
(Texutil.tex_use_ams(); LITERAL (HTMLABLEC(FONT_UFH,"\\operatorname{" ^ name ^
"}[", name^ "["))) }
| "\\" (mediawiki_function_names as name) space * "\\{" {
(Texutil.tex_use_ams(); LITERAL (HTMLABLEC(FONT_UFH,"\\operatorname{" ^ name ^
"}\\{", name^ "{"))) }
| "\\" (mediawiki_function_names as name) space * {
(Texutil.tex_use_ams(); LITERAL (HTMLABLEC(FONT_UFH,"\\operatorname{" ^ name ^
"} ", name ^ " "))) }
diff --git a/texvccheck/texutil.ml b/texvccheck/texutil.ml
index 2431219..9aebd7c 100644
--- a/texvccheck/texutil.ml
+++ b/texvccheck/texutil.ml
@@ -606,7 +606,7 @@
| "\\N" -> LITERAL ( TEX_ONLY( "\\mathbb{N}" ^ " " ) )
| "\\Q" -> LITERAL ( TEX_ONLY( "\\mathbb{Q}" ^ " " ) )
| "\\R" -> LITERAL ( TEX_ONLY( "\\mathbb{R}" ^ " " ) )
- | "\\Z" -> LITERAL ( TEX_ONLY( "\\mathbb{Z }" ^ " " ) )
+ | "\\Z" -> LITERAL ( TEX_ONLY( "\\mathbb{Z}" ^ " " ) )
| "\\darr" -> DELIMITER( TEX_ONLY( "\\downarrow" ^ " " ) )
| "\\dArr" -> DELIMITER( TEX_ONLY( "\\Downarrow" ^ " " ) )
--
To view, visit https://gerrit.wikimedia.org/r/148677
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I05fc8fa0201debf611ed4900d3cc953a6a8188ac
Gerrit-PatchSet: 12
Gerrit-Project: mediawiki/extensions/Math
Gerrit-Branch: master
Gerrit-Owner: Cscott <[email protected]>
Gerrit-Reviewer: Cscott <[email protected]>
Gerrit-Reviewer: Frédéric Wang <[email protected]>
Gerrit-Reviewer: Hcohl <[email protected]>
Gerrit-Reviewer: Physikerwelt <[email protected]>
Gerrit-Reviewer: Reedy <[email protected]>
Gerrit-Reviewer: TheDJ <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
