Lilith Hafner (Nov 24 2023 at 01:12): Lilith Hafner (Nov 24 2023 at 01:12):Are there any alternatives to browser zoom? (ref https://github.com/zulip/zulip/issues/12611)
Sundar R (Nov 24 2023 at 08:36):Not that I know of. I followed that issue for years hoping for one, but gave up some time this year (though they seem to have added it to a release milestone recently, FWIW).
The "Custom CSS" issue linked from there suggests browser extensions like Stylus as an alternative. I find that a bit heavy-handed, but might work if you already have that extension (or one of the scripting Monkey extensions).
Last updated: Nov 22 2024 at 04:41 UTC