Disconnect preferences-dialog from main-windows when hiding it again (!13) · Merge requests · Archive / gnome-latex · GitLab

This is an archived project. Repository and other project resources are read-only.

Rico Tzschichholz requested to merge wip/ricotz/vala into master May 09, 2018

Fixes #59 (closed)