Hello. I was trying gnome-flashback today.
First question. I had an issue with Metacity 3.16 where the title bar
height was a too much for my taste. Any way to decrease it?
Second question. I tried mutter instead of Metacity. Mutter looks
better since it has smooth round edges around the top borders. Metacity
has choppy round borders. But I could not right click on the menu title
under mutter. Is that something that can be worked around so I can use
mutter instead or not really?