diff options
Diffstat (limited to 'tex/context/base/scrn-but.mkvi')
| -rw-r--r-- | tex/context/base/scrn-but.mkvi | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/tex/context/base/scrn-but.mkvi b/tex/context/base/scrn-but.mkvi index 3a3a86a01..338f3090b 100644 --- a/tex/context/base/scrn-but.mkvi +++ b/tex/context/base/scrn-but.mkvi @@ -417,10 +417,10 @@ \newdimen\scrn_menu_offset_right \def\scrn_menu_set_used - {\scrn_menu_offset_left \interactionmenuparameter\c!leftoffset - \scrn_menu_offset_right \interactionmenuparameter\c!rightoffset - \scrn_menu_offset_top \interactionmenuparameter\c!topoffset - \scrn_menu_offset_bottom\interactionmenuparameter\c!bottomoffset + {\doassigncheckedframeoffset\scrn_menu_offset_left {\interactionmenuparameter\c!leftoffset }% + \doassigncheckedframeoffset\scrn_menu_offset_right {\interactionmenuparameter\c!rightoffset }% + \doassigncheckedframeoffset\scrn_menu_offset_top {\interactionmenuparameter\c!topoffset }% + \doassigncheckedframeoffset\scrn_menu_offset_bottom{\interactionmenuparameter\c!bottomoffset}% \scrn_menu_asked_width \interactionmenuparameter\c!maxwidth \scrn_menu_asked_height \interactionmenuparameter\c!maxheight \scrn_menu_used_width\dimexpr |