properties-dialog: use the modal property (!47) · Merge requests · GNOME / gnome-text-editor · GitLab

The source project of this merge request has been removed.

William Roy requested to merge (removed):main into main Apr 14, 2022

For consistency, we should set the modal property on the properties dialog.

Signed-off-by: wroy wroy@pm.me