Free cookie consent management tool by TermsFeed Policy Generator

source: stable/HeuristicLab.MainForm.WindowsForms/3.3/Controls/DragOverTabControl.cs @ 13371

Last change on this file since 13371 was 12009, checked in by ascheibe, 10 years ago

#2212 updated copyright year

File size: 1.9 KB
RevLine 
[5463]1#region License Information
2/* HeuristicLab
[12009]3 * Copyright (C) 2002-2015 Heuristic and Evolutionary Algorithms Laboratory (HEAL)
[5463]4 *
5 * This file is part of HeuristicLab.
6 *
7 * HeuristicLab is free software: you can redistribute it and/or modify
8 * it under the terms of the GNU General Public License as published by
9 * the Free Software Foundation, either version 3 of the License, or
10 * (at your option) any later version.
11 *
12 * HeuristicLab is distributed in the hope that it will be useful,
13 * but WITHOUT ANY WARRANTY; without even the implied warranty of
14 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
15 * GNU General Public License for more details.
16 *
17 * You should have received a copy of the GNU General Public License
18 * along with HeuristicLab. If not, see <http://www.gnu.org/licenses/>.
19 */
20#endregion
21
22using System.Drawing;
23using System.Windows.Forms;
24
25namespace HeuristicLab.MainForm.WindowsForms {
26  public partial class DragOverTabControl : TabControl {
[7342]27    private int destinationTabIndex;
28
[5463]29    public DragOverTabControl() {
30      InitializeComponent();
31    }
32
[7342]33    private int GetTabIndex() {
[5463]34      Point position = PointToClient(Control.MousePosition);
35      int tabIndex = -1;
36      for (int i = 0; i < TabPages.Count; i++) {
[5464]37        if (GetTabRect(i).Contains(position))
38          tabIndex = i;
[5463]39      }
[7342]40      return tabIndex;
41    }
[5463]42
[7342]43    private void DragOverTabControl_DragOver(object sender, DragEventArgs e) {
44      int tabIndex = GetTabIndex();
[5464]45
[7342]46      if (!timer.Enabled && tabIndex != SelectedIndex && tabIndex != -1) {
47        destinationTabIndex = tabIndex;
48        timer.Start();
49      }
[5463]50    }
[7342]51
52    private void timer_Tick(object sender, System.EventArgs e) {
53      timer.Stop();
54      int tabIndex = GetTabIndex();
55
56      if (tabIndex == destinationTabIndex && tabIndex != SelectedIndex && tabIndex != -1) {
57        SelectedIndex = tabIndex;
58      }
59    }
[5463]60  }
61}
Note: See TracBrowser for help on using the repository browser.