Prevent header-bar from closing when popover are open (!354) · Merge requests · Archive / gnome-games · GitLab

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

Veerasamy Sevagen requested to merge Sevagen/gnome-games:wip/sevagen/autohide into master Feb 08, 2020

Fixes #192 (closed)

Edited Feb 17, 2020 by Veerasamy Sevagen