… | |
… | |
1920 | #else |
1920 | #else |
1921 | selection.rect = false; |
1921 | selection.rect = false; |
1922 | #endif |
1922 | #endif |
1923 | |
1923 | |
1924 | /* allow shift+left click to extend selection */ |
1924 | /* allow shift+left click to extend selection */ |
1925 | if (ev.state & ShiftMask && ! (priv_modes & PrivMode_mouse_report)) |
1925 | if (ev.state & ShiftMask && !(priv_modes & PrivMode_mouse_report)) |
1926 | { |
1926 | { |
1927 | if (MEvent.button == Button1 && clickintime) |
1927 | if (MEvent.button == Button1 && clickintime) |
1928 | selection_rotate (ev.x, ev.y); |
1928 | selection_rotate (ev.x, ev.y); |
1929 | else |
1929 | else |
1930 | selection_extend (ev.x, ev.y, 1); |
1930 | selection_extend (ev.x, ev.y, 1); |