version 1.129, 2015/03/31 17:45:10 |
version 1.130, 2015/04/19 21:05:27 |
|
|
if (options_get_number(oo, "mouse-select-pane") && |
if (options_get_number(oo, "mouse-select-pane") && |
(m->event == MOUSE_EVENT_DOWN || m->event == MOUSE_EVENT_WHEEL)) { |
(m->event == MOUSE_EVENT_DOWN || m->event == MOUSE_EVENT_WHEEL)) { |
window_set_active_at(wp->window, m->x, m->y); |
window_set_active_at(wp->window, m->x, m->y); |
server_status_window(wp->window); |
server_redraw_window(wp->window); |
server_redraw_window_borders(wp->window); |
|
wp = wp->window->active; /* may have changed */ |
wp = wp->window->active; /* may have changed */ |
} |
} |
|
|