mirror of
https://github.com/zulip/zulip.git
synced 2025-11-08 07:52:19 +00:00
This commit both causes the settings button not to be drawn as pressed, but also fixes the issue we were experiencing where, e.g. changing from "Home" to "Settings" and back to "Home" would cause you to lose your place. (imported from commit 5084b280a202f6bf8f811834bf9d2734a034c8c1)
31 KiB
31 KiB