gnome/gedit
gnome/gedit
1
0
Fork 0
mirror of https://github.com/GNOME/gedit synced 2024-06-30 23:15:01 +00:00
Code Issues Projects Releases Wiki Activity

Window: add comment

Browse Source
This commit is contained in:
Sébastien Wilmet 2023-07-25 16:00:01 +02:00
parent 63229a1082
commit 4c2fcca5d2
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
gedit/gedit-window.c
View File

@ -79,7 +79,7 @@ struct _GeditWindowPrivate
guint tab_width_id;
guint language_changed_id;
/* Headerbars */
/* Headerbars (can be NULL) */
GtkHeaderBar *side_headerbar;
GeditHeaderBar *headerbar;