Changeset 7342 for trunk/sources

Timestamp:

01/17/12 12:51:52 (12 years ago)

Author:

ascheibe

Message:

#1761 added a delay when switching to the tab page on which an item is dragged on

Location:

trunk/sources/HeuristicLab.MainForm.WindowsForms/3.3/Controls

Files:

• DragOverTabControl.Designer.cs (modified) (2 diffs)
• DragOverTabControl.cs (modified) (2 diffs)

trunk/sources/HeuristicLab.MainForm.WindowsForms/3.3/Controls/DragOverTabControl.Designer.cs

@@ -45 +45 @@
     /// </summary>
     private void InitializeComponent() {
+      this.components = new System.ComponentModel.Container();
+      this.timer = new System.Windows.Forms.Timer(this.components);
       this.SuspendLayout();
+      // 
+      // timer
+      // 
+      this.timer.Interval = 500;
+      this.timer.Tick += new System.EventHandler(this.timer_Tick);
       // 
       // DragOverTabControl
@@ -56 +63 @@
 
     #endregion
+
+    private System.Windows.Forms.Timer timer;
   }
 }

trunk/sources/HeuristicLab.MainForm.WindowsForms/3.3/Controls/DragOverTabControl.cs

@@ -25 +25 @@
 namespace HeuristicLab.MainForm.WindowsForms {
   public partial class DragOverTabControl : TabControl {
+    private int destinationTabIndex;
+
     public DragOverTabControl() {
       InitializeComponent();
     }
 
-    private void DragOverTabControl_DragOver(object sender, DragEventArgs e) {
+    private int GetTabIndex() {
       Point position = PointToClient(Control.MousePosition);
       int tabIndex = -1;
@@ -36 +38 @@
           tabIndex = i;
       }
+      return tabIndex;
+    }
 
-      if (tabIndex != SelectedIndex && tabIndex != -1)
+    private void DragOverTabControl_DragOver(object sender, DragEventArgs e) {
+      int tabIndex = GetTabIndex();
+
+      if (!timer.Enabled && tabIndex != SelectedIndex && tabIndex != -1) {
+        destinationTabIndex = tabIndex;
+        timer.Start();
+      }
+    }
+
+    private void timer_Tick(object sender, System.EventArgs e) {
+      timer.Stop();
+      int tabIndex = GetTabIndex();
+
+      if (tabIndex == destinationTabIndex && tabIndex != SelectedIndex && tabIndex != -1) {
         SelectedIndex = tabIndex;
-
+      }
     }
   }