@@ -85,6 +85,7 @@ public class Terminal.Window : He.ApplicationWindow {
8585
8686 BaseHeaderBar header_bar;
8787 Gtk . Revealer header_bar_revealer;
88+ public Gtk . Overlay main_overlay;
8889
8990 Gtk . HeaderBar floating_bar;
9091 Gtk . Box floating_btns;
@@ -197,7 +198,11 @@ public class Terminal.Window : He.ApplicationWindow {
197198 overlay.set_name ("accelerator -overlay ");
198199 overlay.add_overlay (this .floating_header_bar_revealer );
199200
200- this . child = overlay;
201+ main_overlay = new Gtk .Overlay ();
202+ main_overlay. child = overlay;
203+ main_overlay.add_overlay (this .floating_header_bar_revealer );
204+
205+ this . child = main_overlay;
201206
202207 this.add_css_class ("accelerator -main -window ");
203208 }
@@ -232,7 +237,7 @@ public class Terminal.Window : He.ApplicationWindow {
232237 var wheight = (int ) (sett. remember_window_size ? sett. window_height : 450 );
233238
234239 Object (
235- application: app,
240+ application : app,
236241 default_width: wwidth,
237242 default_height: wheight,
238243 fullscreened: sett. remember_window_size && sett. was_fullscreened,
@@ -482,7 +487,7 @@ public class Terminal.Window : He.ApplicationWindow {
482487 }
483488
484489 public void zoom_in () {
485- this . active_terminal. zoom_in ();
490+ this . active_terminal. zoom_in ();
486491 }
487492
488493 public void zoom_out () {
@@ -652,4 +657,4 @@ public class Terminal.Window : He.ApplicationWindow {
652657 this . tab_bar. current = this . tab_bar. tabs. last (). data;
653658 }
654659 }
655- }
660+ }
0 commit comments