Comment 228 for bug 160311

Revision history for this message
Jason Rennie (jrennie) wrote : Re: Resizing windows by grabbing window borders is difficult [please no more comments; patches welcome]

Hmm... I was able to increase border size for left, right, bottom borders by editing the XML config as described by Troy James Sobotka (comment #11). But, like Scaine (comment #58), I was not able to change the top border, even after changing every value in the "normal" frame_geometry block that looked like it might relate to the top border. The 5px width borders on left/right/bottom is a huge improvement, but the thin top border is still a bother. Does anyone know how to change the top border via the XML config? Thx.