This PR fixes #111, which is that the Auto-Hide Tabs functionality does not if the LayerManager is closed via its close button.
The cause of the problem is the static variable LayerManager.InsideLayerManagerRect, which keeps track of whether or not the cursor position is within the layer manager. When the layer manager is closed, this variable no longer gets updated, so closing the layer manager using its close button (when InsideLayerManagerRect is true) means that the app continues to think that the mouse is over the layer manager. The fix in this PR is to set InsideLayerManagerRect = false when the layer manager is closed.
This PR fixes #111, which is that the Auto-Hide Tabs functionality does not if the LayerManager is closed via its close button.
The cause of the problem is the static variable
LayerManager.InsideLayerManagerRect
, which keeps track of whether or not the cursor position is within the layer manager. When the layer manager is closed, this variable no longer gets updated, so closing the layer manager using its close button (whenInsideLayerManagerRect
istrue
) means that the app continues to think that the mouse is over the layer manager. The fix in this PR is to setInsideLayerManagerRect = false
when the layer manager is closed.