jenkins-bot has submitted this change and it was merged.
Change subject: Some commands should require arguments in `texvc` and
`texvccheck`
......................................................................
Some commands should require arguments in `texvc` and `texvccheck`
The \overbrace, \overleftarrow, \overleftrightarrow, \overline,
\overrightarrow, \underbrace, \underline, \widehat, and \widetilde
commands take a single mandatory argument. Move \overbrace and
\underbrace to the fun_ar1nb list, since they handle trailing
subscripts and superscripts specially. Move the other functions to
the fun_ar1 list.
Change-Id: I449c8611eeb2eaa7ccb30d3b325975868a160f95
---
M math/texutil.ml
M texvccheck/texutil.ml
2 files changed, 18 insertions(+), 18 deletions(-)
Approvals:
Physikerwelt: Looks good to me, approved
jenkins-bot: Verified
diff --git a/math/texutil.ml b/math/texutil.ml
index 4d66424..5d3948a 100644
--- a/math/texutil.ml
+++ b/math/texutil.ml
@@ -482,15 +482,15 @@
| "\\hat" -> FUN_AR1 "\\hat "
| "\\hline" -> LITERAL (TEX_ONLY "\\hline ")
| "\\vline" -> LITERAL (TEX_ONLY "\\vline ")
- | "\\widetilde" -> LITERAL (TEX_ONLY "\\widetilde ")
- | "\\widehat" -> LITERAL (TEX_ONLY "\\widehat ")
- | "\\overline" -> LITERAL (TEX_ONLY "\\overline ")
- | "\\overbrace" -> LITERAL (TEX_ONLY "\\overbrace ")
- | "\\underline" -> LITERAL (TEX_ONLY "\\underline ")
- | "\\underbrace" -> LITERAL (TEX_ONLY "\\underbrace ")
- | "\\overleftarrow" -> LITERAL (TEX_ONLY "\\overleftarrow ")
- | "\\overrightarrow" -> LITERAL (TEX_ONLY "\\overrightarrow ")
- | "\\overleftrightarrow"-> (tex_use_ams(); LITERAL (TEX_ONLY
"\\overleftrightarrow "))
+ | "\\widetilde" -> FUN_AR1 "\\widetilde "
+ | "\\widehat" -> FUN_AR1 "\\widehat "
+ | "\\overline" -> FUN_AR1 "\\overline "
+ | "\\overbrace" -> FUN_AR1nb "\\overbrace "
+ | "\\underline" -> FUN_AR1 "\\underline "
+ | "\\underbrace" -> FUN_AR1nb "\\underbrace "
+ | "\\overleftarrow" -> FUN_AR1 "\\overleftarrow "
+ | "\\overrightarrow" -> FUN_AR1 "\\overrightarrow "
+ | "\\overleftrightarrow"-> (tex_use_ams(); FUN_AR1 "\\overleftrightarrow ")
| "\\check" -> FUN_AR1 "\\check "
| "\\acute" -> FUN_AR1 "\\acute "
| "\\grave" -> FUN_AR1 "\\grave "
diff --git a/texvccheck/texutil.ml b/texvccheck/texutil.ml
index 21d7987..2431219 100644
--- a/texvccheck/texutil.ml
+++ b/texvccheck/texutil.ml
@@ -322,11 +322,6 @@
| "\\oplus"
| "\\oslash"
| "\\otimes"
- | "\\overbrace"
- | "\\overleftarrow"
- | "\\overleftrightarrow"
- | "\\overline"
- | "\\overrightarrow"
| "\\P"
| "\\pagecolor"
| "\\parallel"
@@ -436,8 +431,6 @@
| "\\triangleq"
| "\\triangleright"
| "\\trianglerighteq"
- | "\\underbrace"
- | "\\underline"
| "\\upharpoonleft"
| "\\upharpoonright"
| "\\uplus"
@@ -473,8 +466,6 @@
| "\\vline"
| "\\Vvdash"
| "\\wedge"
- | "\\widehat"
- | "\\widetilde"
| "\\wp"
| "\\wr"
| "\\xi"
@@ -553,6 +544,10 @@
| "\\mathsf"
| "\\mathtt"
| "\\operatorname"
+ | "\\overleftarrow"
+ | "\\overleftrightarrow"
+ | "\\overline"
+ | "\\overrightarrow"
| "\\pmod"
| "\\sqrt"
| "\\textbf"
@@ -561,7 +556,10 @@
| "\\textsf"
| "\\texttt"
| "\\tilde"
+ | "\\underline"
| "\\vec"
+ | "\\widehat"
+ | "\\widetilde"
| "\\xcancel"
| "\\xleftarrow"
| "\\xrightarrow"
@@ -696,6 +694,8 @@
| "\\bf"
-> DECLh ( cmd ^ " ", FONTFORCE_RM ) (* see bug 54818 *)
+ | "\\overbrace" -> FUN_AR1nb "\\overbrace "
+ | "\\underbrace" -> FUN_AR1nb "\\underbrace "
| "\\sideset" -> FUN_AR2nb "\\sideset "
| "\\left" -> LEFT
| "\\right" -> RIGHT
--
To view, visit https://gerrit.wikimedia.org/r/149097
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I449c8611eeb2eaa7ccb30d3b325975868a160f95
Gerrit-PatchSet: 8
Gerrit-Project: mediawiki/extensions/Math
Gerrit-Branch: master
Gerrit-Owner: Cscott <[email protected]>
Gerrit-Reviewer: Frédéric Wang <[email protected]>
Gerrit-Reviewer: Physikerwelt <[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
