/*! Number of milliseconds that the mouse has to be on the screen edge before
a screen edge event is triggered */
extern gint config_mouse_screenedgetime;
+/*! When TRUE, the mouse is warped to the other side of the desktop after
+ switching desktops from bumping the screen edge */
+extern gboolean config_mouse_screenedgewarp;
/*! Number of pixels to resist while crossing another window's edge */
extern gint config_resist_win;
src. */
void config_app_settings_copy_non_defaults(const ObAppSettings *src,
ObAppSettings *dest);
+/*! Parses an x geometry style position, with some extensions like ratios
+ and percentages */
+void config_parse_gravity_coord(xmlNodePtr node, GravityCoord *c);
+/*! Parses a rational number or percentage into num and denom */
+void config_parse_relative_number(gchar *s, gint *num, gint *denom);
#endif