public OverviewRenderer2(DiffWidget widget, ScrolledWindow scroller, Hunk[] hunks, bool sidebyside) { this.widget = widget; this.hunks = hunks; this.scroller = scroller; this.sidebyside = sidebyside; scroller.ExposeEvent += OnScroll; WidthRequest = 50; }
public RangeRenderer(DiffWidget widget, string text, char type, bool wrap, Pango.FontDescription font) { this.widget = widget; this.text = text; this.wrap = wrap; this.font = font; this.type = type; this.Realized += OnRealized; this.SizeAllocated += SizeAllocatedHandler; ClearHighlight(); }
public OverviewRenderer(DiffWidget widget, ScrolledWindow scroller, Hunk[] hunks, bool sidebyside) { this.scroller = scroller; this.ButtonPressEvent += ButtonPressHandler; Add (new OverviewRenderer2 (widget, scroller, hunks, sidebyside)); }
public OverviewRenderer(DiffWidget widget, ScrolledWindow scroller, Hunk[] hunks, bool sidebyside) { this.scroller = scroller; this.ButtonPressEvent += ButtonPressHandler; Add(new OverviewRenderer2(widget, scroller, hunks, sidebyside)); }