[5463] | 1 | #region License Information
|
---|
| 2 | /* HeuristicLab
|
---|
[9456] | 3 | * Copyright (C) 2002-2013 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 |
|
---|
| 22 | using System.Drawing;
|
---|
| 23 | using System.Windows.Forms;
|
---|
| 24 |
|
---|
| 25 | namespace 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 | }
|
---|