Searched refs:get_mouse (Results 1 – 2 of 2) sorted by relevance
351 UI.rfb.get_mouse().set_touchButton(num);510 UI.rfb.get_mouse().set_focused(false);515 UI.rfb.get_mouse().set_focused(true);
192 that.get_mouse = function() { return mouse; }; function