Example #1
0
		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 ();
		}
Example #2
0
        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();
        }
Example #3
0
		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 ();
			}
		}
Example #4
0
        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();
        }
Example #5
0
 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();
 }
Example #6
0
        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);
        }
Example #7
0
		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 ();
		}