Skip to content
GitLab
Explore
Sign in
GNOME
gtranslator
Merge requests
!132
The source project of this merge request has been removed.
Modernize Help Overlay
Ghost User
requested to merge
(removed):help-overlay
into
master
Apr 21, 2023
Overview
0
Pipelines
0
Changes
6
Expand
Use action-name properties
Add missing shortcuts
Use win.show-help-overlay
Merge request reports