1412 |
|
|
1413 |
/* Guess frame extents in case _NET_FRAME_EXTENTS is not |
/* Guess frame extents in case _NET_FRAME_EXTENTS is not |
1414 |
supported. */ |
supported. */ |
1415 |
*top = 23; |
if (gtk_window_get_decorated (GTK_WINDOW (window))) |
1416 |
*left = 6; |
{ |
1417 |
*bottom = 6; |
*top = 23; |
1418 |
*right = 6; |
*left = 6; |
1419 |
|
*bottom = 6; |
1420 |
|
*right = 6; |
1421 |
|
} |
1422 |
|
else |
1423 |
|
{ |
1424 |
|
*top = 0; |
1425 |
|
*left = 0; |
1426 |
|
*bottom = 0; |
1427 |
|
*right = 0; |
1428 |
|
} |
1429 |
|
|
1430 |
/* Request that the window manager set window's |
/* Request that the window manager set window's |
1431 |
_NET_FRAME_EXTENTS property. */ |
_NET_FRAME_EXTENTS property. */ |