OptionsDialog: Allow Maximize of window #826

1. 
   luke-jr commented at 3:11 pm on July 6, 2024: member
2. GUI/OptionsDialog: Allow Maximize of window 3dbd94b661
3. 
   DrahtBot commented at 3:11 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: Allow Maximize of window
   OptionsDialog: Allow Maximize of window
   on Jul 15, 2024
5. 
   hebasto commented at 10:15 am on July 15, 2024: member

   The PR description is empty, so I have to ask: why is this needed?
6. DrahtBot added the label CI failed on Jul 16, 2024
7. DrahtBot removed the label CI failed on Jul 20, 2024
8. 
   luke-jr commented at 11:01 pm on August 3, 2024: member

   Perhaps not strictly needed, more of it’s a bug that the user is prevented from doing so
9. hebasto approved
10. 
    hebasto commented at 3:09 pm on August 4, 2024: member

    ACK 3dbd94b6610a58460b52a6cc02892d881c091ccd.
11. hebasto merged this on Aug 4, 2024
12. hebasto closed this on Aug 4, 2024

    ---

Contributors
luke-jr DrahtBot hebasto