take into account x11 border_width settings (fixes uxterm border issue)

This commit is contained in:
Michael Stapelberg
2010-11-14 23:44:13 +01:00
parent 39b378b0a4
commit 76c07900c2
3 changed files with 9 additions and 0 deletions

View File

@ -297,6 +297,9 @@ struct Con {
int base_width;
int base_height;
/* the x11 border pixel attribute */
int border_width;
/* minimum increment size specified for the window (in pixels) */
int width_increment;
int height_increment;