| src/PScreen.hh | |
| 151 | @@ -151,8 +151,8 @@ |
| 151 | void getHeadInfoWithEdge(uint head, Geometry &head_info); |
| 152 | inline int getNumHeads(void) const { return _heads.size(); } |
| 153 | |
| 154 | inline long getLastEventTime(void) const { return _last_event_time; } |
| 155 | inline void setLastEventTime(long t) { _last_event_time = t; } |
| 156 | inline Time getLastEventTime(void) const { return _last_event_time; } |
| 157 | inline void setLastEventTime(Time t) { _last_event_time = t; } |
| 158 | |
| 159 | inline Window getLastClickID(void) { return _last_click_id; } |
| 160 | inline void setLastClickID(Window id) { _last_click_id = id; } |
| ... | |
| 235 | @@ -235,7 +235,7 @@ |
| 235 | |
| 236 | uint _server_grabs; |
| 237 | |
| 238 | long _last_event_time; |
| 239 | Time _last_event_time; |
| 240 | // information for dobule clicks |
| 241 | Window _last_click_id; |
| 242 | Time _last_click_time[BUTTON_NO - 1]; |
| ... | |