diff options
Diffstat (limited to 'metapost/context/base/mp-grid.mp')
-rw-r--r-- | metapost/context/base/mp-grid.mp | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/metapost/context/base/mp-grid.mp b/metapost/context/base/mp-grid.mp index f6e843489..c87df821c 100644 --- a/metapost/context/base/mp-grid.mp +++ b/metapost/context/base/mp-grid.mp @@ -107,7 +107,12 @@ def do_initialize_numbers = textext.raw("${\times}10$") , textext.raw("${}^-$") , textext.raw("${}^2$") ) ; - numbers_initialized := true ; + if unknown _trial_run_ : + numbers_initialized := true ; + else : + % no reset, otherwise textexts get out of sync + % slows down graphics a bit but not much + fi ; fi ; enddef ; |