mirror of
https://github.com/SerenityOS/serenity
synced 2026-05-10 17:12:55 +02:00
By "hide" I really mean collapse them down to 24px height. We grow them to a normal size when they're needed. The user is also free to resize them at will. This keeps them out of the way when you just want to do editing. :^)