181     int x_root, y_root;  in mouseDownCallback()  local
183 …et_root_coords(GTK_WIDGET(view)->window, lastMousePositionX, lastMousePositionY, &x_root, &y_root);  in mouseDownCallback()
185     getRootCoords(GTK_WIDGET(view), &x_root, &y_root);  in mouseDownCallback()
188     event.button.x_root = x_root;  in mouseDownCallback()
256     int x_root, y_root;  in mouseUpCallback()  local
258 …et_root_coords(GTK_WIDGET(view)->window, lastMousePositionX, lastMousePositionY, &x_root, &y_root);  in mouseUpCallback()
260     getRootCoords(GTK_WIDGET(view), &x_root, &y_root);  in mouseUpCallback()
263     event.button.x_root = x_root;  in mouseUpCallback()
306     int x_root, y_root;  in mouseMoveToCallback()  local
308 …et_root_coords(GTK_WIDGET(view)->window, lastMousePositionX, lastMousePositionY, &x_root, &y_root);  in mouseMoveToCallback()
310     getRootCoords(GTK_WIDGET(view), &x_root, &y_root);  in mouseMoveToCallback()
313     event.motion.x_root = x_root;  in mouseMoveToCallback()