diff options
| author | nyamatongwe <devnull@localhost> | 2012-04-23 13:27:56 +1000 |
|---|---|---|
| committer | nyamatongwe <devnull@localhost> | 2012-04-23 13:27:56 +1000 |
| commit | bca705ae847a8608626061a248b2671a93ab9f6e (patch) | |
| tree | 3505106e7dee9362234af93d31fd6e8c3ff58a9a /src | |
| parent | b3fca3a85d71d994ebadd577ea58a5355ae37f81 (diff) | |
| download | scintilla-mirror-bca705ae847a8608626061a248b2671a93ab9f6e.tar.gz | |
Allow Ctrl+Double Click to add words to the selection.
Diffstat (limited to 'src')
| -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) { |