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) { | 
