OptionsDialog: Prefer to stretch actual options area rather than waste space #827

1. 
   luke-jr commented at 4:03 pm on July 6, 2024: member
2. GUI/OptionsDialog: Prefer to stretch actual options area rather than waste space b71bfd9eef
3. 
   DrahtBot commented at 4:03 pm on July 6, 2024: contributor

   The following sections might be updated with supplementary metadata relevant to reviewers and maintainers.

   Reviews

   See the guideline for information on the review process.

   Type	Reviewers
   ACK	hebasto

   If your review is incorrectly listed, please react with 👎 to this comment and the bot will ignore it on the next update.

4. hebasto renamed this:
   GUI/OptionsDialog: Prefer to stretch actual options area rather than waste space
   OptionsDialog: Prefer to stretch actual options area rather than waste space
   on Jul 15, 2024
5. 
   hebasto commented at 10:24 am on July 15, 2024: member

   Tested b71bfd9eef8b0017cef3c05361c02ddbd837e6ac on Ubuntu 24.04 + Qt 5.15.13:

   • the master branch @ 6ae903e24afa95214e59a9dc87dc74db3535a5b5:

   • this PR: @GBKS What do you think?

6. 
   GBKS commented at 10:27 am on July 15, 2024: none

   That is a nice improvement.
7. hebasto approved
8. 
   hebasto commented at 11:11 am on July 15, 2024: member

   ACK b71bfd9eef8b0017cef3c05361c02ddbd837e6ac
9. hebasto merged this on Jul 15, 2024
10. hebasto closed this on Jul 15, 2024

    ---

Contributors
luke-jr DrahtBot hebasto GBKS