4 ms·

Would certainly be nice if Gmail had pins (or some config page) to optionally keep minimalized/hidden stuff open by default.