Recently I upgraded my Dolphin Browser to the latest (2.5) and I like it a lot. However, one of the things I *don't* like is, it appears to hide my tabs randomly. In the old browser, there was a show/hide tabs option from the menu, but that doesn't seem to be there any more. I've confirmed that "auto hide tab" bar is unchecked in my settings. Anyone else notice this weirdness?