diff options
| author | Christian Persch <chpe@src.gnome.org> | 2021-08-28 20:55:35 +0200 |
|---|---|---|
| committer | Christian Persch <chpe@src.gnome.org> | 2021-08-28 20:55:35 +0200 |
| commit | dbfd47a4aa66890c4eb9d19650c86488210c1040 (patch) | |
| tree | 7beef7d87ec75d39d4f2c3cc39d6e73b0d5fd947 | |
| parent | ea1c43f5fde7a3cd1562572ff25dcf89013064fe (diff) | |
| download | gnome-terminal-dbfd47a4aa66890c4eb9d19650c86488210c1040.tar.gz | |
window: Add close button to info bar
... to allow to view the text that's obscured by the info bar.
| -rw-r--r-- | src/terminal-info-bar.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/terminal-info-bar.cc b/src/terminal-info-bar.cc index dd2be784..1b451a67 100644 --- a/src/terminal-info-bar.cc +++ b/src/terminal-info-bar.cc @@ -73,6 +73,7 @@ terminal_info_bar_new (GtkMessageType type, info_bar = reinterpret_cast<GtkWidget*> (g_object_new (TERMINAL_TYPE_INFO_BAR, "message-type", type, + "show-close-button", true, nullptr)); va_start (args, first_button_text); |