#include "keyboard.h"
#include "mouse.h"
#include "actions.h"
-#include "prop.h"
#include "translate.h"
#include "client.h"
#include "screen.h"
guint config_desktop_popup_time;
gboolean config_resize_redraw;
-gboolean config_resize_four_corners;
gint config_resize_popup_show;
ObResizePopupPos config_resize_popup_pos;
GravityPoint config_resize_popup_fixed;
if (!parse_contains("default", doc, c)) {
config_parse_gravity_coord(doc, c,
&settings->position.x);
- settings->pos_given = TRUE;
+ x_pos_given = TRUE;
}
if (x_pos_given && (c = parse_find_node("y", n->children)))
parse_register(i, "desktops", parse_desktops, NULL);
config_resize_redraw = TRUE;
- config_resize_four_corners = FALSE;
config_resize_popup_show = 1; /* nonpixel increments */
config_resize_popup_pos = OB_RESIZE_POS_CENTER;
GRAVITY_COORD_SET(config_resize_popup_fixed.x, 0, FALSE, FALSE);