@@ -15,28 +15,21 @@ public class Gala.PanelWindow : ShellWindow, RootTarget {
1515
1616 public Pantheon . Desktop . HideMode hide_mode {
1717 get {
18- return hide_tracker == null ? Pantheon . Desktop . HideMode . NEVER : hide_tracker . hide_mode;
18+ return hide_tracker. hide_mode;
1919 }
2020 set {
21+ hide_tracker. hide_mode = value ;
22+
2123 if (value == NEVER ) {
22- hide_tracker = null ;
23- show ();
2424 make_exclusive ();
25- return ;
26- } else if (hide_tracker == null ) {
25+ } else {
2726 unmake_exclusive ();
28-
29- hide_tracker = new HideTracker (wm. get_display (), this );
30- hide_tracker. hide. connect (hide);
31- hide_tracker. show. connect (show);
3227 }
33-
34- hide_tracker. hide_mode = value ;
3528 }
3629 }
3730
3831 private GestureController gesture_controller;
39- private HideTracker ? hide_tracker;
32+ private HideTracker hide_tracker;
4033
4134 private int width = - 1 ;
4235 private int height = - 1 ;
@@ -64,15 +57,9 @@ public class Gala.PanelWindow : ShellWindow, RootTarget {
6457 gesture_controller = new GestureController (DOCK , wm);
6558 add_gesture_controller (gesture_controller);
6659
67- window. display. in_fullscreen_changed. connect (() = > {
68- if (wm. get_display (). get_monitor_in_fullscreen (window. get_monitor ())) {
69- hide ();
70- } else if (hide_mode == NEVER ) {
71- show ();
72- } else {
73- hide_tracker. update_overlap ();
74- }
75- });
60+ hide_tracker = new HideTracker (wm. get_display (), this );
61+ hide_tracker. hide. connect (hide);
62+ hide_tracker. show. connect (show);
7663 }
7764
7865 public Mtk . Rectangle get_custom_window_rect () {
@@ -106,10 +93,6 @@ public class Gala.PanelWindow : ShellWindow, RootTarget {
10693 }
10794
10895 private void show () {
109- if (window. display. get_monitor_in_fullscreen (window. get_monitor ())) {
110- return ;
111- }
112-
11396 gesture_controller. goto (0 );
11497 }
11598
0 commit comments