Пример #1
0
        private void FileTabControl_DragOver(object sender, DragEventArgs e)
        {
            TabControl tc = (TabControl)sender;

            // a tab is draged?
            if (e.Data.GetData(typeof(EditorTab)) == null)
            {
                return;
            }
            EditorTab dragTab       = (EditorTab)e.Data.GetData(typeof(EditorTab));
            int       dragTab_index = tc.TabPages.IndexOf(dragTab);

            // hover over a tab?
            int hoverTab_index = this.getHoverTabIndex(tc);

            if (hoverTab_index < 0)
            {
                e.Effect = DragDropEffects.None; return;
            }
            TabPage hoverTab = tc.TabPages[hoverTab_index];

            e.Effect = DragDropEffects.Move;

            // start of drag?
            if (dragTab == hoverTab)
            {
                return;
            }

            // swap dragTab & hoverTab - avoids toggeling
            Rectangle dragTabRect  = tc.GetTabRect(dragTab_index);
            Rectangle hoverTabRect = tc.GetTabRect(hoverTab_index);

            if (dragTabRect.Width < hoverTabRect.Width)
            {
                Point tcLocation = tc.PointToScreen(tc.Location);

                if (dragTab_index < hoverTab_index)
                {
                    if ((e.X - tcLocation.X) > ((hoverTabRect.X + hoverTabRect.Width) - dragTabRect.Width))
                    {
                        this.swapTabPages(tc, dragTab, hoverTab);
                    }
                }
                else if (dragTab_index > hoverTab_index)
                {
                    if ((e.X - tcLocation.X) < (hoverTabRect.X + dragTabRect.Width))
                    {
                        this.swapTabPages(tc, dragTab, hoverTab);
                    }
                }
            }
            else
            {
                this.swapTabPages(tc, dragTab, hoverTab);
            }

            // select new pos of dragTab
            tc.SelectedIndex = tc.TabPages.IndexOf(dragTab);
        }
Пример #2
0
        private void FileTabControl_SelectedIndexChanged(object sender, EventArgs e)
        {
            EditorTab editorTab = (EditorTab)TabPages[SelectedIndex];

            if ((editorTab?.Editor?.TextBox ?? null) != null)
            {
                Font font = editorTab.Editor.TextBox.Font;
                editorTab.Editor.TextBox.Font = new Font(font.FontFamily, RegistryWorker.FontSize);
            }
        }
Пример #3
0
        private void Close_Click(object sender, EventArgs e)
        {
            if (TabPages.Count <= 1)
            {
                return;
            }
            EditorTab tab = (EditorTab)contextMenuStrip.Tag;

            if (tab.CanClose())
            {
                TabPages.Remove(tab);
            }
        }
Пример #4
0
        public EditorTab LoadBlank(string file, CodeEditor editor)
        {
            EditorTab newTab = new EditorTab(file, editor);

            TabPages.Add(newTab);
            foreach (TabPage page in TabPages)
            {
                if (page != newTab)
                {
                    TabPages.Remove(page);
                }
            }
            return(newTab);
        }
Пример #5
0
        private void FileTabControl_MouseMove(object sender, MouseEventArgs e)
        {
            // mouse button down? tab was clicked?
            TabControl tc = (TabControl)sender;

            if ((e.Button != MouseButtons.Left) || (tc.Tag == null))
            {
                return;
            }
            EditorTab clickedTab    = (EditorTab)tc.Tag;
            int       clicked_index = tc.TabPages.IndexOf(clickedTab);

            // start drag n drop
            tc.DoDragDrop(clickedTab, DragDropEffects.All);
        }
Пример #6
0
        public EditorTab Load(string file, CodeEditor editor)
        {
            foreach (EditorTab tab in TabPages)
            {
                if (tab.File == file)
                {
                    SelectedTab = tab;
                    tab.Reload();
                    Refresh();
                    return(tab);
                }
            }
            EditorTab newTab = new EditorTab(file, editor);

            TabPages.Add(newTab);
            SelectedTab = newTab;
            return(newTab);
        }
Пример #7
0
 private void ShowInProjectTree_Click(object sender, EventArgs e)
 {
     EditorTab tab  = (EditorTab)contextMenuStrip.Tag;
     var       file = tab.File;
 }