+void plugin_setup_config()
+{
+ config_def_set(config_def_new("focus.followMouse", Config_Bool,
+ "Focus Follows Mouse",
+ "Focus windows when the mouse pointer "
+ "enters them."));
+ config_def_set(config_def_new("focus.focusNew", Config_Bool,
+ "Focus New Windows",
+ "Focus windows when they first appear "));
+ config_def_set(config_def_new("focus.warpOnDeskSwitch", Config_Bool,
+ "Warp Pointer On Desktop Switch",
+ "Warps the pointer to the focused window "
+ "when switching desktops."));
+}
+
+/* config options */
+static gboolean follow_mouse = TRUE;
+static gboolean warp_on_desk_switch = FALSE;
+static gboolean focus_new = TRUE;
+
+/*static int skip_enter = 0;*/