Commit 92a09ad1 authored by Benoît Minisini's avatar Benoît Minisini

Workspace: Sometimes closing a tab with the middle button is triggered twice,...

Workspace: Sometimes closing a tab with the middle button is triggered twice, leading to a crash. Made a workaround.

[GB.FORM.MDI]
* BUG: Workspace: Sometimes closing a tab with the middle button is triggered twice, leading to a crash. Made a workaround.
parent e467d664
[Component]
Key=gb.form.mdi
Version=3.12.0
Version=3.12.90
Authors=Benoît Minisini
Needs=Form
Requires=gb.form,gb.settings
......@@ -2,7 +2,7 @@
Title=Multiple document interface management
Startup=FMain
Icon=.hidden/control/workspace.png
Version=3.12.0
Version=3.12.90
VersionFile=1
Component=gb.image
Component=gb.gui
......
......@@ -1027,6 +1027,7 @@ Public Sub Button_MouseDown()
If Mouse.Middle And If Not tabWorkspace.Closable Then
tabWorkspace_Close(tabWorkspace._GetIndex(Last.Parent))
Stop Event ' BUG: Needed, as sometimes the MouseDown event is raised twice
Endif
End
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment