public DiffView (VersionControlDocumentInfo info, Revision baseRev, Revision toRev) : base (GettextCatalog.GetString ("Changes")) { this.info = info; widget = new DiffWidget (info); ComparisonWidget.SetRevision (ComparisonWidget.DiffEditor, baseRev); ComparisonWidget.SetRevision (ComparisonWidget.OriginalEditor, toRev); widget.ShowAll (); }
public DiffView(VersionControlDocumentInfo info, Revision baseRev, Revision toRev) : base(GettextCatalog.GetString("Changes")) { this.info = info; widget = new DiffWidget(info); ComparisonWidget.SetRevision(ComparisonWidget.DiffEditor, baseRev); ComparisonWidget.SetRevision(ComparisonWidget.OriginalEditor, toRev); widget.ShowAll(); }
async void CreateWiget () { if (widget == null) { widget = new DiffWidget (info); try { ComparisonWidget.DiffEditor.Document.Text = await info.Item.Repository.GetBaseTextAsync (info.Item.Path); } catch (Exception ex) { LoggingService.LogInternalError ("Error fetching text from repository ", ex); } ComparisonWidget.SetLocal (ComparisonWidget.OriginalEditor.GetTextEditorData ()); widget.ShowAll (); } }
public DiffView(VersionControlDocumentInfo info, Revision baseRev, Revision toRev) : base(GettextCatalog.GetString("Changes")) { this.info = info; widget = new DiffWidget(info); ComparisonWidget.OriginalEditor.Document.MimeType = ComparisonWidget.DiffEditor.Document.MimeType = info.Document.Editor.Document.MimeType; ComparisonWidget.OriginalEditor.Options.FontName = ComparisonWidget.DiffEditor.Options.FontName = info.Document.Editor.Options.FontName; ComparisonWidget.OriginalEditor.Options.ColorScheme = ComparisonWidget.DiffEditor.Options.ColorScheme = info.Document.Editor.Options.ColorScheme; ComparisonWidget.OriginalEditor.Options.ShowFoldMargin = ComparisonWidget.DiffEditor.Options.ShowFoldMargin = false; ComparisonWidget.OriginalEditor.Options.ShowIconMargin = ComparisonWidget.DiffEditor.Options.ShowIconMargin = false; ComparisonWidget.SetRevision(ComparisonWidget.DiffEditor, baseRev); ComparisonWidget.SetRevision(ComparisonWidget.OriginalEditor, toRev); widget.ShowAll(); }
public override void Dispose() { if (this.widget != null) { this.widget.Destroy(); this.widget = null; } if (leftwatcher != null) { leftwatcher.Dispose(); leftwatcher = null; } if (rightwatcher != null) { rightwatcher.Dispose(); rightwatcher = null; } box.Destroy(); base.Dispose(); }
private void Refresh() { box.Show(); try { if (left is string) { diff = new Diff((string)left, (string)right, true, true); } else if (left is string[]) { diff = new Diff((string[])left, (string[])right, null, null); } } catch (Exception e) { Console.Error.WriteLine(e.ToString()); return; } if (widget != null) { pos = widget.Position; box.Remove(widget); widget.Dispose(); } DiffWidget.Options opts = new DiffWidget.Options(); opts.Font = DesktopService.DefaultMonospaceFont; opts.LeftName = "Repository"; opts.RightName = "Working Copy"; widget = new DiffWidget(diff, opts); box.Add(widget); box.ShowAll(); widget.ExposeEvent += new ExposeEventHandler(OnExposed); }
public DiffView (VersionControlDocumentInfo info, Revision baseRev, Revision toRev) : base ("Diff") { this.info = info; widget = new DiffWidget (info); ComparisonWidget.OriginalEditor.Document.MimeType = ComparisonWidget.DiffEditor.Document.MimeType = info.Document.Editor.Document.MimeType; ComparisonWidget.OriginalEditor.Options.FontName = ComparisonWidget.DiffEditor.Options.FontName = info.Document.Editor.Options.FontName; ComparisonWidget.OriginalEditor.Options.ColorScheme = ComparisonWidget.DiffEditor.Options.ColorScheme = info.Document.Editor.Options.ColorScheme; ComparisonWidget.OriginalEditor.Options.ShowFoldMargin = ComparisonWidget.DiffEditor.Options.ShowFoldMargin = false; ComparisonWidget.OriginalEditor.Options.ShowIconMargin = ComparisonWidget.DiffEditor.Options.ShowIconMargin = false; ComparisonWidget.SetRevision (ComparisonWidget.DiffEditor, baseRev); ComparisonWidget.SetRevision (ComparisonWidget.OriginalEditor, toRev); widget.ShowAll (); }