v2.12.3: Dialog size Search/Replace too small

[RalphHightower]

⚠️ This issue respects the following points: ⚠️

• This is a bug. Not a question or feature request.
• The topic is not already reported at Issues. (I've searched it).
• Markor is up to date. See Releases for the latest version. Updates are available from F-Droid and GitHub.
• The bug is still present in the latest development version (git master). (Please download and try the test version of Markor, named Marder. Don't worry; Markor and Marder appear as completely separate applications. You can install both side-by-side, and Markor settings are not touched. In case the issue is resolved there, you don't need to create a bug report. The change will be part of the next Markor update.)

Description

The dialog for Search/Replace has shrunk significantly. The text for the Search and Replace fields are are not wide enough to see the fields. Have to scroll up to see options checkboxes and buttons.
This problem started with the latest release. I do all my editing in Markdown. But I just tested with a newly created plain text file and the problem is there also, so I specified file format is nonspecific.

Steps to reproduce

1. Click on the search icon
2. Choose Search/Replace
3. Screen area for text in search & replace fields, with options, and buttons significantly reduced.
   

Information

Android version: 13
Device: Galaxy S22 Ultra
App Version: v2.12.3 (152)

Source

Google Play

Format / File type

Not specific

Additional info / Log

-

[harshad1]

@gsantner yeah this should be made match_parent

[RalphHightower]

Thank you. Much better! 🎆