C# (CSharp) MonoDevelop.Components.Docking DockItemTitleTab Examples

Example #1

File: TabStrip.cs Project: noah1510/dotdevelop

        void OnTabPress(object s, EventArgs args)
        {
            CurrentTab = Array.IndexOf(box.Children, s);
            DockItemTitleTab t = (DockItemTitleTab)s;

            DockItem.SetFocus(t.Page);
            QueueDraw();
        }

Example #2

File: TabStrip.cs Project: radical/monodevelop

        void OnTabPress(object s, Gtk.ButtonPressEventArgs args)
        {
            CurrentTab = Array.IndexOf(box.Children, s);
            DockItemTitleTab t = (DockItemTitleTab)s;

            DockItem.SetFocus(t.Page);
            QueueDraw();
            args.RetVal = true;
        }

Example #3

File: TabStrip.cs Project: sushihangover/monodevelop

		public void AddTab (DockItemTitleTab tab)
		{
			if (tab.Parent != null)
				((Gtk.Container)tab.Parent).Remove (tab);

			box.PackStart (tab, false, false, 0);

			if (currentTab == -1)
				CurrentTab = box.Children.Length - 1;
			else {
				tab.Active = false;
				tab.Page.Hide ();
			}
			
			tab.ButtonPressEvent += OnTabPress;
		}

Example #4

        public void AddTab(DockItemTitleTab tab)
        {
            if (tab.Parent != null)
            {
                ((Gtk.Container)tab.Parent).Remove(tab);
            }

            box.PackStart(tab, false, false, 0);

            if (currentTab == -1)
            {
                CurrentTab = box.Children.Length - 1;
            }
            else
            {
                tab.Active = false;
                tab.Page.Hide();
            }

            tab.ButtonPressEvent += OnTabPress;
        }

Example #5

File: TabStrip.cs Project: noah1510/dotdevelop

        public void AddTab(DockItemTitleTab tab)
        {
            if (tab.Parent != null)
            {
                ((Gtk.Container)tab.Parent).Remove(tab);
            }

            box.PackStart(tab, false, false, 0);

            if (currentTab == -1)
            {
                CurrentTab = box.Children.Length - 1;
            }
            else
            {
                tab.Active = false;
                tab.Page.Hide();
            }

            tab.TabPressed += OnTabPress;
            tab.UpdateRole(true, this);

            UpdateAccessibilityTabs();
        }