Git_Mirror/Terminal.Gui
1
0
Fork 0
mirror of https://github.com/gui-cs/Terminal.Gui.git synced 2026-01-01 00:46:39 +01:00
Code Issues Packages Projects Releases Wiki Activity

Fixed a bug with the timer when dragging.

Browse Source
This commit is contained in:
BDisp
2020-03-11 21:44:53 +00:00
parent 72d6b1f885
commit 7e0954e67c
1 changed files with 6 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
Terminal.Gui/Drivers/WindowsDriver.cs
View File

@@ -574,14 +574,16 @@ namespace Terminal.Gui {
private WindowsConsole.ButtonState? LastMouseButtonPressed = null;
private bool IsButtonReleased = false;
private bool IsButtonDoubleClicked = false;
private object token;
private MouseEvent ToDriverMouse (WindowsConsole.MouseEventRecord mouseEvent)
{
MouseFlags mouseFlag = MouseFlags.AllEvents; ;
MouseFlags mouseFlag = MouseFlags.AllEvents;
if (IsButtonDoubleClicked) {
Application.MainLoop.AddTimeout (TimeSpan.FromMilliseconds (300), timer);
}
if (token != null)
Application.MainLoop.RemoveTimeout (token);
if (IsButtonDoubleClicked)
token = Application.MainLoop.AddTimeout (TimeSpan.FromMilliseconds (300), timer);
// The ButtonState member of the MouseEvent structure has bit corresponding to each mouse button.
// This will tell when a mouse button is pressed. When the button is released this event will