1259 |
{ |
{ |
1260 |
g_width = WidthOfScreen(g_screen); |
g_width = WidthOfScreen(g_screen); |
1261 |
g_height = HeightOfScreen(g_screen); |
g_height = HeightOfScreen(g_screen); |
1262 |
|
g_using_full_workarea = True; |
1263 |
} |
} |
1264 |
else if (g_width < 0) |
else if (g_width < 0) |
1265 |
{ |
{ |
1273 |
{ |
{ |
1274 |
/* Fetch geometry from _NET_WORKAREA */ |
/* Fetch geometry from _NET_WORKAREA */ |
1275 |
uint32 x, y, cx, cy; |
uint32 x, y, cx, cy; |
|
g_using_full_workarea = True; |
|
|
|
|
1276 |
if (get_current_workarea(&x, &y, &cx, &cy) == 0) |
if (get_current_workarea(&x, &y, &cx, &cy) == 0) |
1277 |
{ |
{ |
1278 |
g_width = cx; |
g_width = cx; |
1279 |
g_height = cy; |
g_height = cy; |
1280 |
|
g_using_full_workarea = True; |
1281 |
} |
} |
1282 |
else |
else |
1283 |
{ |
{ |
1284 |
warning("Failed to get workarea: probably your window manager does not support extended hints\n"); |
warning("Failed to get workarea: probably your window manager does not support extended hints\n"); |
1285 |
g_width = 800; |
g_width = WidthOfScreen(g_screen); |
1286 |
g_height = 600; |
g_height = HeightOfScreen(g_screen); |
1287 |
} |
} |
1288 |
} |
} |
1289 |
|
|