diff options
| author | nyamatongwe <unknown> | 2012-04-23 13:27:56 +1000 |
|---|---|---|
| committer | nyamatongwe <unknown> | 2012-04-23 13:27:56 +1000 |
| commit | 9a5c7d05e0182bb2f940f8084f0d2cf14d4551e4 (patch) | |
| tree | a03625d62f66362458f884511d855b80a244037e | |
| parent | b81956f7f599206e547156b9026d88de95f5b2a6 (diff) | |
| download | scintilla-mirror-9a5c7d05e0182bb2f940f8084f0d2cf14d4551e4.tar.gz | |
Allow Ctrl+Double Click to add words to the selection.
| -rw-r--r-- | src/Editor.cxx | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/Editor.cxx b/src/Editor.cxx index f5903d87f..a6f638651 100644 --- a/src/Editor.cxx +++ b/src/Editor.cxx @@ -6233,7 +6233,8 @@ void Editor::ButtonDown(Point pt, unsigned int curTime, bool shift, bool ctrl, b if (((curTime - lastClickTime) < Platform::DoubleClickTime()) && Close(pt, lastClick)) { //Platform::DebugPrintf("Double click %d %d = %d\n", curTime, lastClickTime, curTime - lastClickTime); SetMouseCapture(true); - SetEmptySelection(newPos.Position()); + if (!ctrl) + SetEmptySelection(newPos.Position()); bool doubleClick = false; // Stop mouse button bounce changing selection type if (!Platform::MouseButtonBounce() || curTime != lastClickTime) { |
