|
|
|
@ -1,6 +1,7 @@
@@ -1,6 +1,7 @@
|
|
|
|
|
// Copyright (c) AlphaSierraPapa for the SharpDevelop Team (for details please see \doc\copyright.txt)
|
|
|
|
|
// This code is distributed under the GNU LGPL (for details please see \doc\license.txt)
|
|
|
|
|
|
|
|
|
|
using ICSharpCode.AvalonEdit; |
|
|
|
|
using ICSharpCode.Core.Presentation; |
|
|
|
|
using System; |
|
|
|
|
using System.Collections.Generic; |
|
|
|
@ -262,6 +263,8 @@ namespace ICSharpCode.SharpDevelop.Gui
@@ -262,6 +263,8 @@ namespace ICSharpCode.SharpDevelop.Gui
|
|
|
|
|
internal ITextEditor editorAdapter; |
|
|
|
|
internal BeginReadOnlySectionProvider readOnlyRegion; |
|
|
|
|
|
|
|
|
|
static TextEditorOptions consoleOptions; |
|
|
|
|
|
|
|
|
|
public ConsoleControl() |
|
|
|
|
{ |
|
|
|
|
this.ColumnDefinitions.Add(new ColumnDefinition() { Width = new GridLength(1, GridUnitType.Star) }); |
|
|
|
@ -276,6 +279,13 @@ namespace ICSharpCode.SharpDevelop.Gui
@@ -276,6 +279,13 @@ namespace ICSharpCode.SharpDevelop.Gui
|
|
|
|
|
this.editor.SetValue(Grid.RowProperty, 0); |
|
|
|
|
this.editor.ShowLineNumbers = false; |
|
|
|
|
|
|
|
|
|
if (consoleOptions == null) { |
|
|
|
|
consoleOptions = new TextEditorOptions(editor.Options); |
|
|
|
|
consoleOptions.AllowScrollBelowDocument = false; |
|
|
|
|
} |
|
|
|
|
|
|
|
|
|
this.editor.Options = consoleOptions; |
|
|
|
|
|
|
|
|
|
this.Children.Add(editor); |
|
|
|
|
|
|
|
|
|
editor.TextArea.ReadOnlySectionProvider = readOnlyRegion = new BeginReadOnlySectionProvider(); |
|
|
|
|