public BlameWidget(VersionControlDocumentInfo info)
{
GtkWorkarounds.FixContainerLeak(this);
this.info = info;
var sourceEditor = info.Document.GetContent <MonoDevelop.SourceEditor.SourceEditorView> ();
vAdjustment = new Adjustment(
sourceEditor.TextEditor.VAdjustment.Value,
sourceEditor.TextEditor.VAdjustment.Lower,
sourceEditor.TextEditor.VAdjustment.Upper,
sourceEditor.TextEditor.VAdjustment.StepIncrement,
sourceEditor.TextEditor.VAdjustment.PageIncrement,
sourceEditor.TextEditor.VAdjustment.PageSize);
vAdjustment.Changed += HandleAdjustmentChanged;
vScrollBar = new VScrollbar(vAdjustment);
AddChild(vScrollBar);
hAdjustment = new Adjustment(
sourceEditor.TextEditor.HAdjustment.Value,
sourceEditor.TextEditor.HAdjustment.Lower,
sourceEditor.TextEditor.HAdjustment.Upper,
sourceEditor.TextEditor.HAdjustment.StepIncrement,
sourceEditor.TextEditor.HAdjustment.PageIncrement,
sourceEditor.TextEditor.HAdjustment.PageSize);
hAdjustment.Changed += HandleAdjustmentChanged;
hScrollBar = new HScrollbar(hAdjustment);
AddChild(hScrollBar);
var doc = new TextDocument(sourceEditor.TextEditor.Document.Text)
{
ReadOnly = true,
MimeType = sourceEditor.TextEditor.Document.MimeType,
};
editor = new MonoTextEditor(doc, sourceEditor.TextEditor.Options);
AddChild(editor);
editor.SetScrollAdjustments(hAdjustment, vAdjustment);
overview = new BlameRenderer(this);
AddChild(overview);
this.DoubleBuffered = true;
editor.Painted += HandleEditorExposeEvent;
editor.EditorOptionsChanged += delegate {
overview.OptionsChanged();
};
editor.Caret.PositionChanged += ComparisonWidget.CaretPositionChanged;
editor.FocusInEvent += ComparisonWidget.EditorFocusIn;
editor.Document.Folded += delegate {
QueueDraw();
};
editor.Document.FoldTreeUpdated += delegate {
QueueDraw();
};
editor.DoPopupMenu = ShowPopup;
Show();
}
public DockFrame()
{
GtkWorkarounds.FixContainerLeak(this);
dockBarTop = new DockBar(this, Gtk.PositionType.Top);
dockBarBottom = new DockBar(this, Gtk.PositionType.Bottom);
dockBarLeft = new DockBar(this, Gtk.PositionType.Left);
dockBarRight = new DockBar(this, Gtk.PositionType.Right);
container = new DockContainer(this);
HBox hbox = new HBox();
hbox.PackStart(dockBarLeft, false, false, 0);
hbox.PackStart(container, true, true, 0);
hbox.PackStart(dockBarRight, false, false, 0);
mainBox = new VBox();
mainBox.PackStart(dockBarTop, false, false, 0);
mainBox.PackStart(hbox, true, true, 0);
mainBox.PackStart(dockBarBottom, false, false, 0);
Add(mainBox);
mainBox.ShowAll();
mainBox.NoShowAll = true;
CompactGuiLevel = 2;
UpdateDockbarsVisibility();
DefaultVisualStyle = new DockVisualStyle();
}
public DockContainer(DockFrame frame)
{
GtkWorkarounds.FixContainerLeak(this);
this.Events = EventMask.ButtonPressMask | EventMask.ButtonReleaseMask | EventMask.PointerMotionMask | EventMask.LeaveNotifyMask;
this.frame = frame;
}
public TabStrip(DockNotebook notebook)
{
TabWidth = 125;
TargetWidth = 125;
tracker = new MouseTracker(this);
GtkWorkarounds.FixContainerLeak(this);
this.notebook = notebook;
WidgetFlags |= Gtk.WidgetFlags.AppPaintable;
Events |= Gdk.EventMask.PointerMotionMask | Gdk.EventMask.LeaveNotifyMask | Gdk.EventMask.ButtonPressMask;
var arr = new Gtk.Image(Gdk.Pixbuf.LoadFromResource("tabbar-prev.png"));
arr.HeightRequest = arr.WidthRequest = 10;
PreviousButton = new Button(arr);
PreviousButton.Relief = ReliefStyle.None;
PreviousButton.CanDefault = PreviousButton.CanFocus = false;
arr = new Gtk.Image(Gdk.Pixbuf.LoadFromResource("tabbar-next.png"));
arr.HeightRequest = arr.WidthRequest = 10;
NextButton = new Button(arr);
NextButton.Relief = ReliefStyle.None;
NextButton.CanDefault = NextButton.CanFocus = false;
DropDownButton = new MenuButton();
DropDownButton.Relief = ReliefStyle.None;
DropDownButton.CanDefault = DropDownButton.CanFocus = false;
PreviousButton.ShowAll();
NextButton.ShowAll();
DropDownButton.ShowAll();
PreviousButton.Name = "MonoDevelop.DockNotebook.BarButton";
NextButton.Name = "MonoDevelop.DockNotebook.BarButton";
DropDownButton.Name = "MonoDevelop.DockNotebook.BarButton";
PreviousButton.Parent = this;
NextButton.Parent = this;
DropDownButton.Parent = this;
children.Add(PreviousButton);
children.Add(NextButton);
children.Add(DropDownButton);
tracker.HoveredChanged += (sender, e) => {
if (!tracker.Hovered)
{
SetHighlightedTab(null);
UpdateTabWidth(tabEndX - tabStartX);
QueueDraw();
}
};
notebook.PageAdded += (object sender, EventArgs e) => QueueResize();
notebook.PageRemoved += (object sender, EventArgs e) => QueueResize();
closingTabs = new Dictionary <int, DockNotebookTab> ();
}
protected AnimatedBox(bool horizontal)
{
GtkWorkarounds.FixContainerLeak(this);
WidgetFlags |= WidgetFlags.NoWindow;
this.horizontal = horizontal;
stage.ActorStep += OnActorStep;
border_stage.Iteration += OnBorderIteration;
}
public DockContainer(DockFrame frame)
{
GtkWorkarounds.FixContainerLeak(this);
Accessible.SetRole(AtkCocoa.Roles.AXSplitGroup);
this.Events = EventMask.ButtonPressMask | EventMask.ButtonReleaseMask | EventMask.PointerMotionMask | EventMask.LeaveNotifyMask;
this.frame = frame;
}
public PropertyGridTable(EditorManager editorManager, PropertyGrid parentGrid)
{
GtkWorkarounds.FixContainerLeak(this);
this.parentGrid = parentGrid;
this.editorManager = editorManager;
WidgetFlags |= Gtk.WidgetFlags.AppPaintable;
Events |= Gdk.EventMask.PointerMotionMask;
CanFocus = true;
resizeCursor = new Cursor(CursorType.SbHDoubleArrow);
handCursor = new Cursor(CursorType.Hand1);
}
public BlameWidget(VersionControlDocumentInfo info)
{
GtkWorkarounds.FixContainerLeak(this);
this.info = info;
var textView = info.Controller.GetContent <ITextView> ();
vAdjustment = new Adjustment(0, 0, 0, 0, 0, 0);
vAdjustment.Changed += HandleAdjustmentChanged;
vScrollBar = new VScrollbar(vAdjustment);
AddChild(vScrollBar);
hAdjustment = new Adjustment(0, 0, 0, 0, 0, 0);
hAdjustment.Changed += HandleAdjustmentChanged;
hScrollBar = new HScrollbar(hAdjustment);
AddChild(hScrollBar);
var doc = new TextDocument(textView.TextSnapshot.GetText())
{
IsReadOnly = true,
MimeType = IdeServices.DesktopService.GetMimeTypeForContentType(textView.TextBuffer.ContentType)
};
var options = new CustomEditorOptions(DefaultSourceEditorOptions.Instance);
options.TabsToSpaces = false;
editor = new MonoTextEditor(doc, new SourceEditor.StyledSourceEditorOptions(options));
AddChild(editor);
editor.SetScrollAdjustments(hAdjustment, vAdjustment);
overview = new BlameRenderer(this);
AddChild(overview);
this.DoubleBuffered = true;
editor.Painted += HandleEditorExposeEvent;
editor.EditorOptionsChanged += delegate {
overview.OptionsChanged();
};
editor.Caret.PositionChanged += ComparisonWidget.CaretPositionChanged;
editor.FocusInEvent += ComparisonWidget.EditorFocusIn;
editor.Document.Folded += delegate {
QueueDraw();
};
editor.Document.FoldTreeUpdated += delegate {
QueueDraw();
};
editor.DoPopupMenu = ShowPopup;
Show();
}
public ResizableFixed()
{
GtkWorkarounds.FixContainerLeak(this);
fixd = new Fixed();
Add(fixd);
this.CanFocus = true;
this.Events = EventMask.ButtonPressMask | EventMask.ButtonReleaseMask | EventMask.PointerMotionMask | EventMask.KeyPressMask;
// fixd.ModifyBg (Gtk.StateType.Normal, this.Style.Mid (Gtk.StateType.Normal));
// VisibleWindow = false;
selectionBox = new SelectionHandleBox(this);
selectionBox.Show();
}
public PropertyGridTable(EditorManager editorManager, PropertyGrid parentGrid)
{
GtkWorkarounds.FixContainerLeak(this);
this.parentGrid = parentGrid;
this.editorManager = editorManager;
WidgetFlags |= Gtk.WidgetFlags.AppPaintable;
Events |= Gdk.EventMask.PointerMotionMask;
CanFocus = true;
resizeCursor = new Cursor(CursorType.SbHDoubleArrow);
handCursor = new Cursor(CursorType.Hand1);
discloseDown = Xwt.Drawing.Image.FromResource("disclose-arrow-down-16.png");
discloseUp = Xwt.Drawing.Image.FromResource("disclose-arrow-up-16.png");
}
public AnimatedWidget(Widget widget, uint duration, Easing easing, Blocking blocking, bool horizontal)
{
GtkWorkarounds.FixContainerLeak(this);
this.horizontal = horizontal;
Widget = widget;
Duration = duration;
Easing = easing;
Blocking = blocking;
AnimationState = AnimationState.Coming;
Widget.Parent = this;
Widget.Destroyed += OnWidgetDestroyed;
ShowAll();
}
public SmartScrolledWindow(Widget vScrollBar = null)
{
GtkWorkarounds.FixContainerLeak(this);
vAdjustment = new ScrollAdjustment();
vAdjustment.ValueChanged += HandleAdjustmentChanged;
this.vScrollBar = vScrollBar ?? new VScrollbar(vAdjustment);
this.vScrollBar.Parent = this;
this.vScrollBar.Show();
hAdjustment = new ScrollAdjustment();
hAdjustment.ValueChanged += HandleAdjustmentChanged;
hScrollBar = new HScrollbar(hAdjustment);
hScrollBar.Parent = this;
hScrollBar.Show();
}
public FixedPanel()
{
GtkWorkarounds.FixContainerLeak(this);
WidgetFlags |= WidgetFlags.NoWindow;
}
public TabStrip(DockNotebook notebook)
{
if (notebook == null)
{
throw new ArgumentNullException("notebook");
}
TabWidth = 125;
TargetWidth = 125;
tracker = new MouseTracker(this);
GtkWorkarounds.FixContainerLeak(this);
this.notebook = notebook;
WidgetFlags |= Gtk.WidgetFlags.AppPaintable;
Events |= EventMask.PointerMotionMask | EventMask.LeaveNotifyMask | EventMask.ButtonPressMask;
var arr = new Xwt.ImageView(tabbarPrevImage);
arr.HeightRequest = arr.WidthRequest = 10;
var alignment = new Alignment(0.5f, 1, 0.0f, 0.0f);
alignment.Add(arr.ToGtkWidget());
PreviousButton = new Button(alignment);
PreviousButton.Relief = ReliefStyle.None;
PreviousButton.CanDefault = PreviousButton.CanFocus = false;
arr = new Xwt.ImageView(tabbarNextImage);
arr.HeightRequest = arr.WidthRequest = 10;
alignment = new Alignment(0.5f, 1, 0.0f, 0.0f);
alignment.Add(arr.ToGtkWidget());
NextButton = new Button(alignment);
NextButton.Relief = ReliefStyle.None;
NextButton.CanDefault = NextButton.CanFocus = false;
DropDownButton = new MenuButton();
DropDownButton.Relief = ReliefStyle.None;
DropDownButton.CanDefault = DropDownButton.CanFocus = false;
PreviousButton.ShowAll();
NextButton.ShowAll();
DropDownButton.ShowAll();
PreviousButton.Name = "MonoDevelop.DockNotebook.BarButton";
NextButton.Name = "MonoDevelop.DockNotebook.BarButton";
DropDownButton.Name = "MonoDevelop.DockNotebook.BarButton";
PreviousButton.Parent = this;
NextButton.Parent = this;
DropDownButton.Parent = this;
children.Add(PreviousButton);
children.Add(NextButton);
children.Add(DropDownButton);
tracker.HoveredChanged += (sender, e) => {
if (!tracker.Hovered)
{
SetHighlightedTab(null);
UpdateTabWidth(tabEndX - tabStartX);
QueueDraw();
}
};
notebook.PageAdded += (sender, e) => QueueResize();
notebook.PageRemoved += (sender, e) => QueueResize();
closingTabs = new Dictionary <int, DockNotebookTab> ();
}
protected EditorCompareWidgetBase(bool viewOnly)
{
GtkWorkarounds.FixContainerLeak(this);
this.viewOnly = viewOnly;
}
protected EditorCompareWidgetBase()
{
GtkWorkarounds.FixContainerLeak(this);
Intialize();
}
public TabStrip(DockNotebook notebook)
{
if (notebook == null)
{
throw new ArgumentNullException("notebook");
}
Accessible.SetRole(AtkCocoa.Roles.AXTabGroup);
// Handle focus for the tabs.
CanFocus = true;
TabWidth = 125;
TargetWidth = 125;
tracker = new MouseTracker(this);
GtkWorkarounds.FixContainerLeak(this);
innerBox = new HBox(false, 0);
innerBox.Accessible.SetShouldIgnore(true);
Add(innerBox);
this.notebook = notebook;
WidgetFlags |= Gtk.WidgetFlags.AppPaintable;
Events |= EventMask.PointerMotionMask | EventMask.LeaveNotifyMask | EventMask.ButtonPressMask;
var arr = new Xwt.ImageView(tabbarPrevImage);
arr.HeightRequest = arr.WidthRequest = 10;
var alignment = new Alignment(0.5f, 0.5f, 0.0f, 0.0f);
alignment.Add(arr.ToGtkWidget());
PreviousButton = new Button(alignment);
PreviousButton.TooltipText = Core.GettextCatalog.GetString("Switch to previous document");
PreviousButton.Relief = ReliefStyle.None;
PreviousButton.CanDefault = false;
PreviousButton.CanFocus = true;
PreviousButton.Accessible.Name = "DockNotebook.Tabstrip.PreviousButton";
PreviousButton.Accessible.SetTitle(Core.GettextCatalog.GetString("Previous document"));
PreviousButton.Accessible.Description = Core.GettextCatalog.GetString("Switch to previous document");
arr = new Xwt.ImageView(tabbarNextImage);
arr.HeightRequest = arr.WidthRequest = 10;
alignment = new Alignment(0.5f, 0.5f, 0.0f, 0.0f);
alignment.Add(arr.ToGtkWidget());
NextButton = new Button(alignment);
NextButton.TooltipText = Core.GettextCatalog.GetString("Switch to next document");
NextButton.Relief = ReliefStyle.None;
NextButton.CanDefault = false;
NextButton.CanFocus = true;
NextButton.Accessible.Name = "DockNotebook.Tabstrip.NextButton";
NextButton.Accessible.SetTitle(Core.GettextCatalog.GetString("Next document"));
NextButton.Accessible.Description = Core.GettextCatalog.GetString("Switch to next document");
DropDownButton = new MenuButton();
DropDownButton.TooltipText = Core.GettextCatalog.GetString("Document List");
DropDownButton.Relief = ReliefStyle.None;
DropDownButton.CanDefault = false;
DropDownButton.CanFocus = true;
DropDownButton.Accessible.Name = "DockNotebook.Tabstrip.DocumentListButton";
DropDownButton.Accessible.SetTitle(Core.GettextCatalog.GetString("Document list"));
DropDownButton.Accessible.Description = Core.GettextCatalog.GetString("Display the document list menu");
PreviousButton.ShowAll();
PreviousButton.NoShowAll = true;
NextButton.ShowAll();
NextButton.NoShowAll = true;
DropDownButton.ShowAll();
PreviousButton.Name = "MonoDevelop.DockNotebook.BarButton";
NextButton.Name = "MonoDevelop.DockNotebook.BarButton";
DropDownButton.Name = "MonoDevelop.DockNotebook.BarButton";
innerBox.PackStart(PreviousButton, false, false, 0);
innerBox.PackStart(NextButton, false, false, 0);
innerBox.PackEnd(DropDownButton, false, false, 0);
tracker.HoveredChanged += (sender, e) => {
if (!tracker.Hovered)
{
SetHighlightedTab(null);
UpdateTabWidth(tabEndX - tabStartX);
QueueDraw();
}
};
foreach (var tab in notebook.Tabs)
{
Accessible.AddAccessibleElement(tab.Accessible);
}
UpdateAccessibilityTabs();
notebook.PageAdded += PageAddedHandler;
notebook.PageRemoved += PageRemovedHandler;
notebook.TabsReordered += PageReorderedHandler;
closingTabs = new Dictionary <int, DockNotebookTab> ();
}
public WorkbenchWindow() : base(Gtk.WindowType.Toplevel)
{
GtkWorkarounds.FixContainerLeak(this);
this.Role = "workbench";
}
