From 62e69b099cd88d287eb768bdfa8e6ea852b357a2 Mon Sep 17 00:00:00 2001 From: Dorothy Date: Thu, 26 Feb 2026 11:00:36 +0530 Subject: [PATCH] [2815]: increase resize height of shortcut input to fix scrollbar --- TeXmacs/progs/source/shortcut-widgets.scm | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/TeXmacs/progs/source/shortcut-widgets.scm b/TeXmacs/progs/source/shortcut-widgets.scm index 3f19356750..816c9aae1d 100644 --- a/TeXmacs/progs/source/shortcut-widgets.scm +++ b/TeXmacs/progs/source/shortcut-widgets.scm @@ -52,7 +52,7 @@ (vertical (aligned (item (text "Shortcut") - (resize "350px" "30px" + (resize "350px" "60px" (texmacs-input `(document (preview-shortcut ,(global-ref u :sh))) `(style (tuple "generic" "shortcut-editor")) u))) (item (text "Command") @@ -89,7 +89,7 @@ (vertical (aligned (item (text "Shortcut") - (resize "250px" "30px" + (resize "250px" "60px" (texmacs-input `(document (preview-shortcut ,(global-ref u :sh))) `(style (tuple "generic" "shortcut-editor")) u))) (item (text "Command")