From f9098ff1b6b8556fcdae79b6b6c652ec58716cd2 Mon Sep 17 00:00:00 2001 From: Aryeh Gregor Date: Sun, 29 Nov 2009 16:45:17 +0000 Subject: [PATCH] Allow \pagecolor and \definecolor in texvc \color was already allowed. This permits a partial (although ugly) workaround for bug 8 if anyone thinks it's actually worth it. If not, though, no harm done. --- RELEASE-NOTES | 1 + math/texutil.ml | 2 ++ 2 files changed, 3 insertions(+) diff --git a/RELEASE-NOTES b/RELEASE-NOTES index 42af146905..f11febbb0a 100644 --- a/RELEASE-NOTES +++ b/RELEASE-NOTES @@ -289,6 +289,7 @@ Hopefully we will remove this configuration var soon) * New wgCategories JavaScript global variable for userscripts. * (bug 20717) Added checkboxes to hide users with bot and/or sysop group membership in SpecialActiveusers +* Allow \pagecolor and \definecolor in texvc === Bug fixes in 1.16 === diff --git a/math/texutil.ml b/math/texutil.ml index 5062b663c8..ad4fce10a8 100644 --- a/math/texutil.ml +++ b/math/texutil.ml @@ -733,4 +733,6 @@ let find = function | "\\vbox" -> raise (Failure "malformatted \\vbox") | "\\hbox" -> raise (Failure "malformatted \\hbox") | "\\color" -> (tex_use_color (); LITERAL (TEX_ONLY "\\color")) + | "\\pagecolor" -> (tex_use_color (); LITERAL (TEX_ONLY "\\pagecolor")) + | "\\definecolor" -> (tex_use_color (); LITERAL (TEX_ONLY "\\definecolor")) | s -> raise (Illegal_tex_function s) -- 2.20.1