[Question] autohide_sidebar

[scmanjarrez]

Hi, first of all, thank you for your amazing work!

I'd like to ask a question, but I don't know if this is even possible (this only happens on linux, I haven't encountered this error on windows): Is it possible to disable the autohide behavior if the mouse is still in the region of the sidebar? This is related to sidebery extension: when I try to change the order of my tabs, I end up releasing the tab out of the sidebar, creating a new window, which is really annoying.

[scmanjarrez]

Actually, this seems like a bug and is already mentioned in #380 (comment).

Fixed with the workaround proposed by MrOtherGuy.

For what it's worth, I've found that toggling widget.gtk.ignore-bogus-leave-notify to 1 solves this issue - however I cannot say if doing that causes some other problems, but nothing immediately obvious at least.