public BookmarkPad() { instance = this; bookmarkTreeView.Dock = DockStyle.Fill; bookmarkTreeView.CheckBoxes = true; bookmarkTreeView.HideSelection = false; bookmarkTreeView.Font = ExtTreeNode.RegularBigFont; bookmarkTreeView.IsSorted = false; ToolStrip toolStrip = ToolbarService.CreateToolStrip(this, "/SharpDevelop/Pads/BookmarkPad/Toolbar"); toolStrip.Stretch = true; toolStrip.GripStyle = System.Windows.Forms.ToolStripGripStyle.Hidden; myPanel.Controls.AddRange(new Control[] { bookmarkTreeView, toolStrip} ); BookmarkManager.Added += new BookmarkEventHandler(BookmarkManagerAdded); BookmarkManager.Removed += new BookmarkEventHandler(BookmarkManagerRemoved); foreach (SDBookmark mark in BookmarkManager.Bookmarks) { AddMark(mark); } }
public BookmarkPad() { instance = this; bookmarkTreeView.Dock = DockStyle.Fill; bookmarkTreeView.CheckBoxes = true; bookmarkTreeView.HideSelection = false; bookmarkTreeView.Font = ExtTreeNode.RegularBigFont; bookmarkTreeView.IsSorted = false; ToolStrip toolStrip = ToolbarService.CreateToolStrip(this, "/SharpDevelop/Pads/BookmarkPad/Toolbar"); toolStrip.Stretch = true; toolStrip.GripStyle = System.Windows.Forms.ToolStripGripStyle.Hidden; myPanel.Controls.AddRange(new Control[] { bookmarkTreeView, toolStrip }); BookmarkManager.Added += new BookmarkEventHandler(BookmarkManagerAdded); BookmarkManager.Removed += new BookmarkEventHandler(BookmarkManagerRemoved); foreach (SDBookmark mark in BookmarkManager.Bookmarks) { AddMark(mark); } }
public BookmarkPad() { instance = this; }
public BookmarkPad() { instance = this; myPanel.Children.Add(CreateToolBar()); listView.HideColumns(2, 0); }