Example #1
0
        public DiffWidget(VersionControlDocumentInfo info, bool viewOnly)
        {
            this.info = info;
            this.Build();
            comparisonWidget = new MonoDevelop.VersionControl.Views.ComparisonWidget(viewOnly);

            fixed1.SetSizeRequest(16, 16);
            this.buttonNext.Clicked += (sender, args) => ComparisonWidget.GotoNext();
            this.buttonPrev.Clicked += (sender, args) => ComparisonWidget.GotoPrev();
            notebook1.Page           = 0;
            vboxComparisonView.PackStart(comparisonWidget, true, true, 0);
            comparisonWidget.Show();

            comparisonWidget.DiffChanged += delegate {
                labelOverview.Markup = LabelText;
                SetButtonSensitivity();
            };
            comparisonWidget.SetVersionControlInfo(info);
            this.buttonDiff.Clicked         += HandleButtonDiffhandleClicked;
            diffTextEditor                   = new global::Mono.TextEditor.TextEditor(new Mono.TextEditor.Document(), new CommonTextEditorOptions());
            diffTextEditor.Document.MimeType = "text/x-diff";

            diffTextEditor.Options.ShowFoldMargin = false;
            diffTextEditor.Options.ShowIconMargin = false;
            diffTextEditor.Document.ReadOnly      = true;
            scrolledwindow1.Child = diffTextEditor;
            diffTextEditor.Show();
            SetButtonSensitivity();
        }
        public ScriptEditor()
        {
            this.Build();
            m_TextEditor          = new Mono.TextEditor.TextEditor();
            scrolledwindow4.Child = m_TextEditor;

            // see also http://monodevelop.com/Developers/Articles/Language_Addins
            // to enable code completion, smart indent and such like this additional code is necessary
            m_TextEditor.Document.MimeType                = "text/x-python";
            m_TextEditor.Options.ColorScheme              = "Tango"; //  TODO: user could select one
            m_TextEditor.Options.DrawIndentationMarkers   = true;
            m_TextEditor.Options.EnableSyntaxHighlighting = true;
            m_TextEditor.Options.HighlightCaretLine       = true;
            m_TextEditor.Options.HighlightMatchingBracket = true;
            m_TextEditor.Options.IndentStyle              = Mono.TextEditor.IndentStyle.Auto;
            m_TextEditor.Options.ShowFoldMargin           = true;
            m_TextEditor.Options.ShowRuler                = true;
            m_TextEditor.Sensitive = false; // will be enabled on request
            m_TextEditor.Text      = "# input disabled ...";

            m_TextEditor.Document.LineChanged += (object sender, Mono.TextEditor.LineEventArgs e) =>
            {
                CompileScript();
            };
        }
Example #3
0
		public DiffWidget (VersionControlDocumentInfo info)
		{
			this.info = info;
			this.Build ();
			fixed1.SetSizeRequest (16, 16);
			this.buttonNext.Clicked += (sender, args) => ComparisonWidget.GotoNext ();
			this.buttonPrev.Clicked += (sender, args) => ComparisonWidget.GotoPrev ();
			notebook1.Page = 0;
			comparisonWidget.DiffChanged += delegate {
				labelOverview.Markup = "<big>" + LabelText + "</big>";
				SetButtonSensitivity ();
			};
			comparisonWidget.SetVersionControlInfo (info);
			this.buttonDiff.Clicked += HandleButtonDiffhandleClicked;
			diffTextEditor = new global::Mono.TextEditor.TextEditor ();
			diffTextEditor.Document.MimeType = "text/x-diff";
			diffTextEditor.Options.FontName = info.Document.Editor.Options.FontName;
			diffTextEditor.Options.ColorScheme = info.Document.Editor.Options.ColorScheme;
			diffTextEditor.Options.ShowFoldMargin = false;
			diffTextEditor.Options.ShowIconMargin = false;
			diffTextEditor.Options.ShowTabs = info.Document.Editor.Options.ShowTabs;
			diffTextEditor.Options.ShowSpaces = info.Document.Editor.Options.ShowSpaces;
			diffTextEditor.Options.ShowInvalidLines = info.Document.Editor.Options.ShowInvalidLines;
			diffTextEditor.Options.ShowInvalidLines = info.Document.Editor.Options.ShowInvalidLines;
			diffTextEditor.Document.ReadOnly = true;
			scrolledwindow1.Child = diffTextEditor;
			diffTextEditor.Show ();
			SetButtonSensitivity ();
		}
Example #4
0
        private void MonoTextEditorClick(object sender, EventArgs e)
        {
            var textEditor = new Mono.TextEditor.TextEditor();

            textEditor.Document.SyntaxMode = Mono.TextEditor.Highlighting.SyntaxModeService.GetSyntaxMode(textEditor.Document, "text/x-csharp");

            var scroll = new ScrollView(textEditor);

            dock.Put(scroll);
        }
Example #5
0
        public CodeEditorControlHandler()
        {
            te = new Mono.TextEditor.TextEditor();
            te.Document.SyntaxMode = Mono.TextEditor.Highlighting.SyntaxModeService.GetSyntaxMode(te.Document, "text/x-python");
            //te.ColorStyle = Mono.TextEditor.Highlighting.SyntaxModeService.GetColorStyle("Light");
            var scroll = new Gtk.ScrolledWindow();

            scroll.BorderWidth = 1;
            scroll.Add(te);
            this.Control = scroll;
        }
Example #6
0
 string GetRevisionText(Mono.TextEditor.TextEditor editor, Revision rev)
 {
     if (!editor.Document.ReadOnly)
     {
         return(GettextCatalog.GetString("(working copy)"));
     }
     if (rev == null)
     {
         return(GettextCatalog.GetString("(base)"));
     }
     return(string.Format(GettextCatalog.GetString("(revision {0})"), rev.ToString()));
 }
        public ScriptEditor()
        {
            this.Build();
            m_TextEditor          = new Mono.TextEditor.TextEditor();
            scrolledwindow4.Child = m_TextEditor;

            // see also http://monodevelop.com/Developers/Articles/Language_Addins
            // to enable code completion, smart indent and such like this additional code is necessary
            m_TextEditor.Document.MimeType                = "text/x-python";
            m_TextEditor.Options.ColorScheme              = "Tango"; //  TODO: user could select one
            m_TextEditor.Options.DrawIndentationMarkers   = true;
            m_TextEditor.Options.EnableSyntaxHighlighting = true;
            m_TextEditor.Options.HighlightCaretLine       = true;
            m_TextEditor.Options.HighlightMatchingBracket = true;
            m_TextEditor.Options.IndentStyle              = Mono.TextEditor.IndentStyle.Auto;
            m_TextEditor.Options.ShowFoldMargin           = true;
            m_TextEditor.Options.ShowRuler                = true;
            m_TextEditor.Sensitive = false; // will be enabled on request
            m_TextEditor.Text      = "# input disabled ...";

            m_TextEditor.Document.LineChanged += (object sender, Mono.TextEditor.LineEventArgs e) =>
            {
                // CompileScript(); // NOTE: a lot of compile calls occured on any text change, not really good
            };

            buttonOK.Clicked += (o, e) =>
            {
                CompileScript();
            };

            vpaned1.ExposeEvent += (o, e) =>
            {
                if (mSetPositionOnlyOnce)
                {
                    mSetPositionOnlyOnce = false;

                    // first calculate an useful position
                    if (VPanedPosition == 0)
                    {
                        int width, height;
                        this.GdkWindow.GetSize(out width, out height);
                        VPanedPosition = height - 50;
                        if (VPanedPosition <= 0)
                        {
                            VPanedPosition = height;
                        }
                    }

                    vpaned1.Position = VPanedPosition;
                }
            };
        }
        public ScriptEditor()
        {
            this.Build();
             m_TextEditor = new Mono.TextEditor.TextEditor();
             scrolledwindow4.Child = m_TextEditor;

             // see also http://monodevelop.com/Developers/Articles/Language_Addins
             // to enable code completion, smart indent and such like this additional code is necessary
             m_TextEditor.Document.MimeType = "text/x-python";
             m_TextEditor.Options.ColorScheme = "Tango"; //  TODO: user could select one
             m_TextEditor.Options.DrawIndentationMarkers = true;
             m_TextEditor.Options.EnableSyntaxHighlighting = true;
             m_TextEditor.Options.HighlightCaretLine = true;
             m_TextEditor.Options.HighlightMatchingBracket = true;
             m_TextEditor.Options.IndentStyle = Mono.TextEditor.IndentStyle.Auto;
             m_TextEditor.Options.ShowFoldMargin = true;
             m_TextEditor.Options.ShowRuler = true;
             m_TextEditor.Sensitive = false; // will be enabled on request
             m_TextEditor.Text = "# input disabled ...";

             m_TextEditor.Document.LineChanged += (object sender, Mono.TextEditor.LineEventArgs e) =>
             {
            // CompileScript(); // NOTE: a lot of compile calls occured on any text change, not really good
             };

             buttonOK.Clicked += (o, e) =>
             {
            CompileScript();
             };

             vpaned1.ExposeEvent += (o, e) =>
             {
            if (mSetPositionOnlyOnce)
            {
               mSetPositionOnlyOnce = false;

               // first calculate an useful position
               if (VPanedPosition == 0)
               {
                  int width, height;
                  this.GdkWindow.GetSize(out width, out height);
                  VPanedPosition = height - 50;
                  if (VPanedPosition <= 0)
                     VPanedPosition = height;
               }

               vpaned1.Position = VPanedPosition;
            }
             };
        }
Example #9
0
        public DiffWidget(VersionControlDocumentInfo info, bool viewOnly)
        {
            this.info = info;
            this.Build();
            comparisonWidget = new MonoDevelop.VersionControl.Views.ComparisonWidget(viewOnly);

            fixed1.SetSizeRequest(16, 16);
            this.buttonNext.Clicked += (sender, args) => ComparisonWidget.GotoNext();
            this.buttonPrev.Clicked += (sender, args) => ComparisonWidget.GotoPrev();
            notebook1.Page           = 0;
            vboxComparisonView.PackStart(comparisonWidget, true, true, 0);
            comparisonWidget.Show();

            comparisonWidget.DiffChanged += delegate {
                labelOverview.Markup = LabelText;
                SetButtonSensitivity();
            };
            comparisonWidget.SetVersionControlInfo(info);
            this.buttonDiff.Clicked         += HandleButtonDiffhandleClicked;
            diffTextEditor                   = new global::Mono.TextEditor.TextEditor();
            diffTextEditor.Document.MimeType = "text/x-diff";
            if (info.Document != null)
            {
                diffTextEditor.Options.FontName         = info.Document.Editor.Options.FontName;
                diffTextEditor.Options.ColorScheme      = info.Document.Editor.Options.ColorScheme;
                diffTextEditor.Options.ShowTabs         = info.Document.Editor.Options.ShowTabs;
                diffTextEditor.Options.ShowSpaces       = info.Document.Editor.Options.ShowSpaces;
                diffTextEditor.Options.ShowInvalidLines = info.Document.Editor.Options.ShowInvalidLines;
                diffTextEditor.Options.ShowInvalidLines = info.Document.Editor.Options.ShowInvalidLines;
            }
            else
            {
                var options = MonoDevelop.SourceEditor.DefaultSourceEditorOptions.Instance;
                diffTextEditor.Options.FontName         = options.FontName;
                diffTextEditor.Options.ColorScheme      = options.ColorScheme;
                diffTextEditor.Options.ShowTabs         = options.ShowTabs;
                diffTextEditor.Options.ShowSpaces       = options.ShowSpaces;
                diffTextEditor.Options.ShowInvalidLines = options.ShowInvalidLines;
                diffTextEditor.Options.ShowInvalidLines = options.ShowInvalidLines;
            }

            diffTextEditor.Options.ShowFoldMargin = false;
            diffTextEditor.Options.ShowIconMargin = false;
            diffTextEditor.Document.ReadOnly      = true;
            scrolledwindow1.Child = diffTextEditor;
            diffTextEditor.Show();
            SetButtonSensitivity();
        }
Example #10
0
		public DiffWidget (VersionControlDocumentInfo info, bool viewOnly)
		{
			this.info = info;
			this.Build ();
			comparisonWidget = new MonoDevelop.VersionControl.Views.ComparisonWidget (viewOnly);
			
			fixed1.SetSizeRequest (16, 16);
			this.buttonNext.Clicked += (sender, args) => ComparisonWidget.GotoNext ();
			this.buttonPrev.Clicked += (sender, args) => ComparisonWidget.GotoPrev ();
			notebook1.Page = 0;
			vboxComparisonView.PackStart (comparisonWidget, true, true, 0);
			comparisonWidget.Show ();
			
			comparisonWidget.DiffChanged += delegate {
				labelOverview.Markup = "<big>" + LabelText + "</big>";
				SetButtonSensitivity ();
			};
			comparisonWidget.SetVersionControlInfo (info);
			this.buttonDiff.Clicked += HandleButtonDiffhandleClicked;
			diffTextEditor = new global::Mono.TextEditor.TextEditor ();
			diffTextEditor.Document.MimeType = "text/x-diff";
			if (info.Document != null) {
				diffTextEditor.Options.FontName = info.Document.Editor.Options.FontName;
				diffTextEditor.Options.ColorScheme = info.Document.Editor.Options.ColorScheme;
				diffTextEditor.Options.ShowTabs = info.Document.Editor.Options.ShowTabs;
				diffTextEditor.Options.ShowSpaces = info.Document.Editor.Options.ShowSpaces;
				diffTextEditor.Options.ShowInvalidLines = info.Document.Editor.Options.ShowInvalidLines;
				diffTextEditor.Options.ShowInvalidLines = info.Document.Editor.Options.ShowInvalidLines;
			} else {
				var options = MonoDevelop.SourceEditor.DefaultSourceEditorOptions.Instance;
				diffTextEditor.Options.FontName = options.FontName;
				diffTextEditor.Options.ColorScheme = options.ColorScheme;
				diffTextEditor.Options.ShowTabs = options.ShowTabs;
				diffTextEditor.Options.ShowSpaces = options.ShowSpaces;
				diffTextEditor.Options.ShowInvalidLines = options.ShowInvalidLines;
				diffTextEditor.Options.ShowInvalidLines = options.ShowInvalidLines;
			}
			
			diffTextEditor.Options.ShowFoldMargin = false;
			diffTextEditor.Options.ShowIconMargin = false;
			diffTextEditor.Document.ReadOnly = true;
			scrolledwindow1.Child = diffTextEditor;
			diffTextEditor.Show ();
			SetButtonSensitivity ();
		}
Example #11
0
        public DiffWidget(VersionControlDocumentInfo info, bool viewOnly = false)
        {
            this.info = info;
            this.Build();
            comparisonWidget = new ComparisonWidget(viewOnly);
            buttonNext       = new DocumentToolButton(Gtk.Stock.GoUp, GettextCatalog.GetString("Previous Change"));
            buttonPrev       = new DocumentToolButton(Gtk.Stock.GoDown, GettextCatalog.GetString("Next Change"));
            labelOverview    = new Gtk.Label()
            {
                Xalign = 0
            };
            buttonDiff = new Gtk.Button(GettextCatalog.GetString("Unified Diff"));

            this.buttonNext.Clicked += (sender, args) => ComparisonWidget.GotoNext();
            this.buttonPrev.Clicked += (sender, args) => ComparisonWidget.GotoPrev();
            notebook1.Page           = 0;
            vboxComparisonView.PackStart(comparisonWidget, true, true, 0);
            comparisonWidget.Show();

            comparisonWidget.DiffChanged += delegate {
                labelOverview.Markup = LabelText;
                SetButtonSensitivity();
            };
            comparisonWidget.SetVersionControlInfo(info);
            this.buttonDiff.Clicked         += HandleButtonDiffhandleClicked;
            diffTextEditor                   = new global::Mono.TextEditor.TextEditor(new Mono.TextEditor.TextDocument(), new CommonTextEditorOptions());
            diffTextEditor.Document.MimeType = "text/x-diff";

            diffTextEditor.Options.ShowFoldMargin         = false;
            diffTextEditor.Options.ShowIconMargin         = false;
            diffTextEditor.Options.DrawIndentationMarkers = PropertyService.Get("DrawIndentationMarkers", false);
            diffTextEditor.Document.ReadOnly = true;
            scrolledwindow1.Child            = diffTextEditor;
            diffTextEditor.Show();
            SetButtonSensitivity();
        }
Example #12
0
		public DiffWidget (VersionControlDocumentInfo info, bool viewOnly)
		{
			this.info = info;
			this.Build ();
			comparisonWidget = new MonoDevelop.VersionControl.Views.ComparisonWidget (viewOnly);
			
			fixed1.SetSizeRequest (16, 16);
			this.buttonNext.Clicked += (sender, args) => ComparisonWidget.GotoNext ();
			this.buttonPrev.Clicked += (sender, args) => ComparisonWidget.GotoPrev ();
			notebook1.Page = 0;
			vboxComparisonView.PackStart (comparisonWidget, true, true, 0);
			comparisonWidget.Show ();
			
			comparisonWidget.DiffChanged += delegate {
				labelOverview.Markup = LabelText;
				SetButtonSensitivity ();
			};
			comparisonWidget.SetVersionControlInfo (info);
			this.buttonDiff.Clicked += HandleButtonDiffhandleClicked;
			diffTextEditor = new global::Mono.TextEditor.TextEditor (new Mono.TextEditor.Document (), new CommonTextEditorOptions ());
			diffTextEditor.Document.MimeType = "text/x-diff";
			
			diffTextEditor.Options.ShowFoldMargin = false;
			diffTextEditor.Options.ShowIconMargin = false;
			diffTextEditor.Document.ReadOnly = true;
			scrolledwindow1.Child = diffTextEditor;
			diffTextEditor.Show ();
			SetButtonSensitivity ();
		}
		protected override void OnDestroyed ()
		{
			if (searchBackgoundWorker != null && searchBackgoundWorker.IsBusy) {
				searchBackgoundWorker.CancelAsync ();
				searchBackgoundWorker.Dispose ();
				searchBackgoundWorker = null;
			}
			
			if (this.TreeView != null) {
			//	Dispose (TreeView.GetRootNode ());
				TreeView.Tree.CursorChanged -= HandleCursorChanged;
				this.TreeView.Clear ();
				this.TreeView = null;
			}
			
			if (definitions != null) {
				definitions.Clear ();
				definitions = null;
			}
			
			ActiveMember = null;
			if (memberListStore != null) {
				memberListStore.Dispose ();
				memberListStore = null;
			}
			
			if (typeListStore != null) {
				typeListStore.Dispose ();
				typeListStore = null;
			}
			
			if (documentationPanel != null) {
				documentationPanel.Destroy ();
				documentationPanel = null;
			}
			if (inspectEditor != null) {
				inspectEditor.LinkRequest -= InspectEditorhandleLinkRequest;
				inspectEditor.Destroy ();
				inspectEditor = null;
			}
			
			if (this.UIManager != null) {
				this.UIManager.Dispose ();
				this.UIManager = null;
			}
			this.languageCombobox.Changed -= LanguageComboboxhandleChanged;
//			this.searchInCombobox.Changed -= SearchInComboboxhandleChanged;
//			this.searchEntry.Changed -= SearchEntryhandleChanged;
			this.searchTreeview.RowActivated -= SearchTreeviewhandleRowActivated;
			hpaned1.ExposeEvent -= HPaneExpose;
			PropertyService.PropertyChanged -= HandlePropertyChanged;
			base.OnDestroyed ();
		}
        protected override void OnDestroyed()
        {
            if (searchBackgoundWorker != null && searchBackgoundWorker.IsBusy)
            {
                searchBackgoundWorker.CancelAsync();
                searchBackgoundWorker.Dispose();
                searchBackgoundWorker = null;
            }

            if (this.TreeView != null)
            {
                //	Dispose (TreeView.GetRootNode ());
                TreeView.Tree.CursorChanged -= HandleCursorChanged;
                this.TreeView.Clear();
                this.TreeView = null;
            }

            if (definitions != null)
            {
                definitions.Clear();
                definitions = null;
            }

            ActiveMember = null;
            if (memberListStore != null)
            {
                memberListStore.Dispose();
                memberListStore = null;
            }

            if (typeListStore != null)
            {
                typeListStore.Dispose();
                typeListStore = null;
            }

            if (documentationPanel != null)
            {
                documentationPanel.Destroy();
                documentationPanel = null;
            }
            if (inspectEditor != null)
            {
                inspectEditor.LinkRequest -= InspectEditorhandleLinkRequest;
                inspectEditor.Destroy();
                inspectEditor = null;
            }

            if (this.UIManager != null)
            {
                this.UIManager.Dispose();
                this.UIManager = null;
            }
            this.languageCombobox.Changed -= LanguageComboboxhandleChanged;
//			this.searchInCombobox.Changed -= SearchInComboboxhandleChanged;
//			this.searchEntry.Changed -= SearchEntryhandleChanged;
            this.searchTreeview.RowActivated -= SearchTreeviewhandleRowActivated;
            hpaned1.ExposeEvent             -= HPaneExpose;
            PropertyService.PropertyChanged -= HandlePropertyChanged;
            base.OnDestroyed();
        }
Example #15
0
        private void Build()
        {
            // toolbar
            toolbar = new Toolbar();
            //			toolbar.MarginLeft = 10;
            this.Add (toolbar);
            var toolbarBox = (Gtk.Box.BoxChild)this [toolbar];
            toolbarBox.Fill = false;
            toolbarBox.Expand = false;
            toolbarBox.Position = 0;

            // toolbar choose database dropdown
            Gtk.Label l = new Gtk.Label(string.Format("Current database: {0}", this.ServerConnection.Name));
            ToolItem lTi = new ToolItem ();
            lTi.Add (l);
            toolbar.Insert (lTi, 0);

            // toolbar exec button
            ToolButton execBtn = new ToolButton (Gtk.Stock.MediaPlay);
            execBtn.Clicked += (sender, e) => this.ExecuteCommand();
            toolbar.Insert (execBtn, 1);

            // vpaned
            vpaned = new VPaned();
            this.Add (vpaned);

            // Sql area textbox wrapped in a scrolled window
            ScrolledWindow sqlAreaScroll = new ScrolledWindow();
            vpaned.Add1 (sqlAreaScroll);
            sqlArea = new Mono.TextEditor.TextEditor();
            sqlArea.Text = string.Format ("{0}{0}", System.Environment.NewLine);
            sqlArea.SetCaretTo (1, 1);
            sqlArea.CanFocus = true;
            sqlArea.IsFocus = true;

            var syntaxMode = loadSyntaxMode ();
            sqlArea.Document.SyntaxMode = syntaxMode;

            sqlAreaScroll.Add (sqlArea);

            // result tabs
            resultNoteBook = new Notebook ();
            sqlResultContainer = new Gtk.ScrolledWindow ();
            resultNoteBook.Add (sqlResultContainer);
            resultNoteBook.SetTabLabel (sqlResultContainer, new Label ("Results"));

            outputView = new TextView ();
            outputView.Editable = false;
            resultNoteBook.Add (outputView);
            resultNoteBook.SetTabLabel (outputView, new Label ("Output"));

            vpaned.Add2 (resultNoteBook);

            vpaned.Position = 180;
        }
Example #16
0
        public int GetLineInCenter(Mono.TextEditor.TextEditor editor)
        {
            double midY = editor.VAdjustment.Value + editor.Allocation.Height / 2;

            return(editor.YToLine(midY));
        }
		public DiffWidget (VersionControlDocumentInfo info, bool viewOnly)
		{
			this.info = info;
			this.Build ();
			comparisonWidget = new MonoDevelop.VersionControl.Views.ComparisonWidget (viewOnly);
			buttonNext = new DocumentToolButton (Gtk.Stock.GoUp, GettextCatalog.GetString ("Previous Change"));
			buttonPrev = new DocumentToolButton (Gtk.Stock.GoDown, GettextCatalog.GetString ("Next Change"));
			labelOverview = new Gtk.Label () { Xalign = 0 };
			buttonDiff = new Gtk.Button (GettextCatalog.GetString ("Unified Diff"));
			
			this.buttonNext.Clicked += (sender, args) => ComparisonWidget.GotoNext ();
			this.buttonPrev.Clicked += (sender, args) => ComparisonWidget.GotoPrev ();
			notebook1.Page = 0;
			vboxComparisonView.PackStart (comparisonWidget, true, true, 0);
			comparisonWidget.Show ();
			
			comparisonWidget.DiffChanged += delegate {
				labelOverview.Markup = LabelText;
				SetButtonSensitivity ();
			};
			comparisonWidget.SetVersionControlInfo (info);
			this.buttonDiff.Clicked += HandleButtonDiffhandleClicked;
			diffTextEditor = new global::Mono.TextEditor.TextEditor (new Mono.TextEditor.TextDocument (), new CommonTextEditorOptions ());
			diffTextEditor.Document.MimeType = "text/x-diff";
			
			diffTextEditor.Options.ShowFoldMargin = false;
			diffTextEditor.Options.ShowIconMargin = false;
			diffTextEditor.Options.DrawIndentationMarkers = PropertyService.Get ("DrawIndentationMarkers", false);
			diffTextEditor.Document.ReadOnly = true;
			scrolledwindow1.Child = diffTextEditor;
			diffTextEditor.Show ();
			SetButtonSensitivity ();
		}