This repository has been archived by the owner on Sep 11, 2023. It is now read-only.
/
TabbedMdiManagerHelper.cs
55 lines (50 loc) · 1.86 KB
/
TabbedMdiManagerHelper.cs
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
using System;
using System.Collections.Generic;
using System.Text;
using System.Windows.Forms;
using DevExpress.XtraTab;
using DevExpress.XtraTabbedMdi;
using System.Drawing;
using System.Collections;
namespace TabbedMDI
{
public class TabbedMdiManagerHelper
{
XtraTabbedMdiManager manager;
int clickTick = -1;
IXtraTabPage previousPage;
public delegate void TabHeaderDoubleClickEventHandler(object sender, TabHeaderDoubleClickEventArgs e);
public event TabHeaderDoubleClickEventHandler TabHeaderDoubleClick;
public TabbedMdiManagerHelper(XtraTabbedMdiManager manager)
{
this.manager = manager;
manager.MouseDown += OnXtraTabbedMdiManagerMouseDown;
}
private void OnXtraTabbedMdiManagerMouseDown(object sender, System.Windows.Forms.MouseEventArgs e)
{
DevExpress.XtraTab.ViewInfo.BaseTabHitInfo hi = manager.CalcHitInfo(new Point(e.X, e.Y));
if (hi.HitTest == DevExpress.XtraTab.ViewInfo.XtraTabHitTest.PageHeader)
{
if (clickTick == -1)
{
clickTick = System.Environment.TickCount;
previousPage = hi.Page;
}
else
{
if (System.Environment.TickCount - clickTick < SystemInformation.DoubleClickTime && hi.Page == previousPage)
{
TabHeaderDoubleClickEventArgs args = new TabHeaderDoubleClickEventArgs(hi.Page);
RaiseTabHeaderDoubleClick(args);
}
clickTick = -1;
}
}
}
private void RaiseTabHeaderDoubleClick(TabHeaderDoubleClickEventArgs e)
{
if (TabHeaderDoubleClick != null)
TabHeaderDoubleClick(manager, e);
}
}
}