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; }