headers/os/interface/InterfaceDefs.h

503

mode_focus_follows_mouse focus_follows_mouse_mode();

src/preferences/input/MouseSettings.cpp

56

fFocusFollowsMouseMode = focus_follows_mouse_mode();

src/servers/input/MouseSettings.cpp

100

printf("focus follows mouse mode:\t%s\n", focus_follows_mouse_mode);

src/servers/input/MouseSettings.cpp

38

fFocusFollowsMouseMode = focus_follows_mouse_mode();

src/servers/input/MouseSettings.cpp

88

const char *focus_follows_mouse_mode = "unknown";

src/servers/input/MouseSettings.cpp

91

focus_follows_mouse_mode = "normal";

src/servers/input/MouseSettings.cpp

94

focus_follows_mouse_mode = "warp";

src/servers/input/MouseSettings.cpp

97

focus_follows_mouse_mode = "instant warp";