如何更改 pluma 文本编辑器替换对话框的大小

Question

我正在使用 Ubuntu 20.04 Mate LTS（我知道有一个更新版本）。

Pluma (v. 1.24.0) 编辑器的替换对话框的大小似乎已修复。我想将其放大，以便即使字符串很长，我也可以在搜索和替换框中看到完整的字符串。可以吗？

我还安装了 gedit 3.36.2，其中的对话框可以调整大小。但 gedit 似乎缺少我喜欢的其他功能，例如“显示所有字符（空格、换行符...）”。