diff options
Diffstat (limited to 'metapost/context/base/mp-page.mp')
-rw-r--r-- | metapost/context/base/mp-page.mp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/metapost/context/base/mp-page.mp b/metapost/context/base/mp-page.mp index 60bfb1417..4f6569d33 100644 --- a/metapost/context/base/mp-page.mp +++ b/metapost/context/base/mp-page.mp @@ -123,7 +123,7 @@ vardef InsideSavedTextArea (expr _i_, _xy_) = (round(ypart _xy_) <= round(ypart urcorner SavedTextAreas[_i_])) ) enddef ; -vardef InsideSomeTextArea(expr _xy_) = +vardef InsideSomeTextArea (expr _xy_) = save ok ; boolean ok ; ok := false ; for i := 1 upto NOfTextAreas : if InsideTextArea(i,_xy_) : ok := true ; fi ; @@ -132,7 +132,7 @@ vardef InsideSomeTextArea(expr _xy_) = ok enddef ; -vardef InsideSomeSavedTextArea(expr _xy_) = +vardef InsideSomeSavedTextArea (expr _xy_) = save ok ; boolean ok ; ok := false ; for i := 1 upto NOfSavedTextAreas : if InsideSavedTextArea(i,_xy_) : ok := true ; fi ; |