From: Juergen Spitzmueller Date: Tue, 27 Dec 2022 14:09:37 +0000 (+0100) Subject: MasterChild.ui: Group radio buttons (part of #12470) X-Git-Url: https://git.lyx.org/gitweb/?a=commitdiff_plain;h=4c8a698a281bf68fe4b70ee3c0a5a2348d413a1f;p=features.git MasterChild.ui: Group radio buttons (part of #12470) --- diff --git a/src/frontends/qt/ui/MasterChildUi.ui b/src/frontends/qt/ui/MasterChildUi.ui index f42e800eda..4e2e19dcc0 100644 --- a/src/frontends/qt/ui/MasterChildUi.ui +++ b/src/frontends/qt/ui/MasterChildUi.ui @@ -6,8 +6,8 @@ 0 0 - 306 - 435 + 359 + 444 @@ -23,16 +23,6 @@ true - - - - Include all subdocuments in the output - - - &Include all children - - - @@ -41,15 +31,22 @@ Include only &selected children + + buttonGroup + - - - - - 1 - - + + + + Include all subdocuments in the output + + + &Include all children + + + buttonGroup + @@ -94,6 +91,15 @@ + + + + + 1 + + + + @@ -104,4 +110,7 @@ + + +