Skip to content
GitLab
Explore
Sign in
GNOME
gedit
Repository
gedit
gedit
gedit-window.ui
Find file
Blame
History
Permalink
Do not allow the header bar to shrink under its min size
· aed61aaa
Paolo Borelli
authored
Feb 22, 2014
aed61aaa