public QuickTaskOverviewMode (QuickTaskStrip parent)
{
this.parentStrip = parent;
Events |= EventMask.ButtonPressMask | EventMask.ButtonReleaseMask | EventMask.ButtonMotionMask |
EventMask.PointerMotionMask | EventMask.LeaveNotifyMask | EventMask.EnterNotifyMask;
vadjustment = this.parentStrip.VAdjustment;
vadjustment.ValueChanged += RedrawOnUpdate;
vadjustment.Changed += RedrawOnUpdate;
parentStrip.TaskProviderUpdated += RedrawOnUpdate;
TextEditor = parent.TextEditor;
// TextEditor.Caret.PositionChanged += CaretPositionChanged;
TextEditor.HighlightSearchPatternChanged += RedrawOnUpdate;
TextEditor.TextViewMargin.SearchRegionsUpdated += RedrawOnUpdate;
TextEditor.TextViewMargin.MainSearchResultChanged += RedrawOnUpdate;
TextEditor.GetTextEditorData ().HeightTree.LineUpdateFrom += HandleLineUpdateFrom;
TextEditor.HighlightSearchPatternChanged += HandleHighlightSearchPatternChanged;
HasTooltip = true;
fadeInStage.ActorStep += delegate(Actor<QuickTaskOverviewMode> actor) {
barColorValue = actor.Percent;
return true;
};
fadeInStage.Iteration += (sender, e) => QueueDraw ();
fadeOutStage.ActorStep += delegate(Actor<QuickTaskOverviewMode> actor) {
barColorValue = 1 - actor.Percent;
return true;
};
fadeOutStage.Iteration += (sender, e) => QueueDraw ();
fadeInStage.UpdateFrequency = fadeOutStage.UpdateFrequency = 10;
}
public QuickTaskOverviewMode(QuickTaskStrip parent)
{
this.parentStrip = parent;
Events |= EventMask.ButtonPressMask | EventMask.ButtonReleaseMask | EventMask.ButtonMotionMask |
EventMask.PointerMotionMask | EventMask.LeaveNotifyMask | EventMask.EnterNotifyMask;
vadjustment = this.parentStrip.VAdjustment;
vadjustment.ValueChanged += RedrawOnUpdate;
vadjustment.Changed += RedrawOnUpdate;
parentStrip.TaskProviderUpdated += RedrawOnUpdate;
TextEditor = parent.TextEditor;
// TextEditor.Caret.PositionChanged += CaretPositionChanged;
TextEditor.HighlightSearchPatternChanged += RedrawOnUpdate;
TextEditor.TextViewMargin.SearchRegionsUpdated += RedrawOnUpdate;
TextEditor.TextViewMargin.MainSearchResultChanged += RedrawOnUpdate;
TextEditor.GetTextEditorData().HeightTree.LineUpdateFrom += HandleLineUpdateFrom;
TextEditor.HighlightSearchPatternChanged += HandleHighlightSearchPatternChanged;
HasTooltip = true;
fadeInStage.ActorStep += delegate(Actor <QuickTaskOverviewMode> actor) {
barColorValue = actor.Percent;
return(true);
};
fadeInStage.Iteration += (sender, e) => QueueDraw();
fadeOutStage.ActorStep += delegate(Actor <QuickTaskOverviewMode> actor) {
barColorValue = 1 - actor.Percent;
return(true);
};
fadeOutStage.Iteration += (sender, e) => QueueDraw();
fadeInStage.UpdateFrequency = fadeOutStage.UpdateFrequency = 10;
}
public QuickTaskMiniMapMode (QuickTaskStrip parent)
{
var minimap = new Minimpap (parent);
PackStart (minimap, true, true, 0);
rightMap = new QuickTaskOverviewMode (parent);
PackStart (rightMap, true, true, 0);
}
public QuickTaskMiniMapMode(QuickTaskStrip parent)
{
minimap = new Minimpap(parent);
PackStart(minimap, true, true, 0);
rightMap = new QuickTaskOverviewMode(parent);
PackStart(rightMap, true, true, 0);
}
QuickTaskAccessible(QuickTaskStrip parent, QuickTaskOverviewMode parentMode)
{
Accessible = AccessibilityElementProxy.ButtonElementProxy();
strip = parent;
Accessible.GtkParent = parent;
mode = parentMode;
Accessible.PerformPress += PerformPress;
}
public QuickTaskMiniMapMode(QuickTaskStrip parent)
{
minimap = new Minimpap(parent);
PackStart(minimap, true, true, 0);
rightMap = new QuickTaskOverviewMode(parent);
PackStart(rightMap, true, true, 0);
vadjustment = parent.VAdjustment;
vadjustment.ValueChanged += RedrawOnVAdjustmentChange;
}
public QuickTaskMiniMapMode (QuickTaskStrip parent)
{
minimap = new Minimpap (parent);
PackStart (minimap, true, true, 0);
rightMap = new QuickTaskOverviewMode (parent);
PackStart (rightMap, true, true, 0);
vadjustment = parent.VAdjustment;
vadjustment.ValueChanged += RedrawOnVAdjustmentChange;
}
public QuickTaskOverviewMode (QuickTaskStrip parent)
{
this.parentStrip = parent;
Events |= EventMask.ButtonPressMask | EventMask.ButtonReleaseMask | EventMask.ButtonMotionMask | EventMask.PointerMotionMask | EventMask.LeaveNotifyMask;
vadjustment = this.parentStrip.VAdjustment;
vadjustment.ValueChanged += RedrawOnUpdate;
vadjustment.Changed += RedrawOnUpdate;
parentStrip.TaskProviderUpdated += RedrawOnUpdate;
TextEditor = parent.TextEditor;
// TextEditor.Caret.PositionChanged += CaretPositionChanged;
TextEditor.HighlightSearchPatternChanged += RedrawOnUpdate;
TextEditor.TextViewMargin.SearchRegionsUpdated += RedrawOnUpdate;
TextEditor.TextViewMargin.MainSearchResultChanged += RedrawOnUpdate;
}
public QuickTaskOverviewMode(QuickTaskStrip parent)
{
this.parentStrip = parent;
Events |= EventMask.ButtonPressMask | EventMask.ButtonReleaseMask | EventMask.ButtonMotionMask | EventMask.PointerMotionMask | EventMask.LeaveNotifyMask;
vadjustment = this.parentStrip.VAdjustment;
vadjustment.ValueChanged += RedrawOnUpdate;
vadjustment.Changed += RedrawOnUpdate;
parentStrip.TaskProviderUpdated += RedrawOnUpdate;
TextEditor = parent.TextEditor;
// TextEditor.Caret.PositionChanged += CaretPositionChanged;
TextEditor.HighlightSearchPatternChanged += RedrawOnUpdate;
TextEditor.TextViewMargin.SearchRegionsUpdated += RedrawOnUpdate;
TextEditor.TextViewMargin.MainSearchResultChanged += RedrawOnUpdate;
TextEditor.GetTextEditorData().HeightTree.LineUpdateFrom += HandleLineUpdateFrom;
TextEditor.HighlightSearchPatternChanged += HandleHighlightSearchPatternChanged;
}
public QuickTaskOverviewAccessible(QuickTaskStrip parentStrip, QuickTaskOverviewMode parentMode)
{
Accessible = AccessibilityElementProxy.ButtonElementProxy();
// Set the accessibility parent as the strip to make the A11y tree easier.
strip = parentStrip;
Accessible.GtkParent = parentStrip;
mode = parentMode;
var frameInParent = new Gdk.Rectangle(0, 0, strip.Allocation.Width, (int)mode.IndicatorHeight);
Accessible.FrameInGtkParent = frameInParent;
Accessible.FrameInParent = new Gdk.Rectangle(0, strip.Allocation.Height - (int)mode.IndicatorHeight, strip.Allocation.Width, (int)mode.IndicatorHeight);
Accessible.Identifier = "MainWindow.QuickTaskStrip.Indicator";
UpdateAccessibilityDetails();
Accessible.PerformPress += PerformPress;
}
public QuickTaskAccessible(QuickTaskStrip parent, QuickTaskOverviewMode parentMode, Usage u) : this(parent, parentMode)
{
usage = u;
task = null;
Accessible.Title = u.UsageType.ToString();
Accessible.Help = string.Format(GettextCatalog.GetString("Jump to line {0}"), strip.TextEditor.OffsetToLineNumber(u.Offset));
var line = mode.TextEditor.OffsetToLineNumber(u.Offset);
var y = mode.LineToY(line) - 3.0;
var frameInParent = new Gdk.Rectangle(0, (int)y, 5, 6);
Accessible.FrameInGtkParent = frameInParent;
int halfParentHeight = strip.Allocation.Height / 2;
float dy = (float)y - halfParentHeight;
y = (int)(halfParentHeight - dy);
Accessible.FrameInParent = new Gdk.Rectangle(0, (int)y, mode.Allocation.Width, 6);
}
public QuickTaskAccessible(QuickTaskStrip parent, QuickTaskOverviewMode parentMode, QuickTask t) : this(parent, parentMode)
{
task = t;
usage = null;
Accessible.Title = t.Description;
Accessible.Help = string.Format(GettextCatalog.GetString("Jump to line {0}"), strip.TextEditor.OffsetToLineNumber(t.Location));
var line = mode.TextEditor.OffsetToLineNumber(t.Location);
var y = mode.LineToY(line);
var frameInParent = new Gdk.Rectangle(0, (int)y, mode.Allocation.Width, 2);
Accessible.FrameInGtkParent = frameInParent;
int halfParentHeight = strip.Allocation.Height / 2;
float dy = (float)y - halfParentHeight;
y = (int)(halfParentHeight - dy);
Accessible.FrameInParent = new Gdk.Rectangle(0, (int)y, mode.Allocation.Width, 2);
}
public Minimpap (QuickTaskStrip parent) : base (parent)
{
doc = parent.TextEditor.Document;
doc.TextReplaced += TextReplaced;
doc.Folded += HandleFolded;
}
public Minimpap(QuickTaskStrip parent) : base(parent)
{
doc = parent.TextEditor.Document;
doc.TextReplaced += TextReplaced;
doc.Folded += HandleFolded;
}