What is the size of Gnome's top bar?

In order to run windowed programs at the maximum possible size I can set their resolution to the resolution of my monitor, but then there are several pixels off-screen below the window because the window is positioned below the Gnome Top Bar. If I knew the size of the top-bar I could account for that,… Read More What is the size of Gnome's top bar?

How to toggle between 2 specific resolutions via keyboard shortcut?

I’m using Ubuntu on a laptop (with its built-in screen disabled) connected to a 3840×2160 external display. Before sharing my screen on a video chat, I always like to switch the resolution down to 1920×1080. I want to be able to quickly toggle the resolution of my external display between 3840×2160 and 1920×1080 via a… Read More How to toggle between 2 specific resolutions via keyboard shortcut?