.. | .. |
---|
13656 | 13656 | // wasliveok = true; |
---|
13657 | 13657 | // waslive = false; |
---|
13658 | 13658 | |
---|
| 13659 | + // May 2019 Forget it: |
---|
| 13660 | + if (true) |
---|
| 13661 | + return; |
---|
| 13662 | + |
---|
13659 | 13663 | // source == timer |
---|
13660 | 13664 | if (mouseDown) |
---|
13661 | 13665 | { |
---|
.. | .. |
---|
14359 | 14363 | boolean control = ((modifiers & CTRL) != 0); // june 2013: for point selection |
---|
14360 | 14364 | boolean command = ((modifiers & COMMAND) != 0); // june 2013: for multiple selection |
---|
14361 | 14365 | |
---|
14362 | | - if (control || command || IsFrozen()) |
---|
| 14366 | +// No delay if (control || command || IsFrozen()) |
---|
14363 | 14367 | timeout = true; |
---|
14364 | 14368 | // ?? May 2019 else |
---|
14365 | 14369 | // timer.setDelay((modifiers & 128) != 0?0:350); |
---|