diff -r e624b6fa4c78 -r 04c81be1c5a0 ui/wpf/UIcore/TextArea.cs --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/ui/wpf/UIcore/TextArea.cs Sat Feb 14 13:26:00 2015 +0100 @@ -0,0 +1,73 @@ +using System; +using System.Collections.Generic; +using System.Linq; +using System.Text; +using System.Threading.Tasks; + +namespace UI +{ + public class TextArea : System.Windows.Controls.TextBox + { + public TextArea(Container container, String text) : base() + { + AcceptsReturn = true; + IsUndoEnabled = false; // we need our own undo stack + if (text != null) + { + Text = text; + } + VerticalScrollBarVisibility = System.Windows.Controls.ScrollBarVisibility.Auto; + HorizontalScrollBarVisibility = System.Windows.Controls.ScrollBarVisibility.Auto; + + container.Add(this, true); + } + + public static TextArea CreateTextArea(Container container, String text) + { + return Application.GetInstance().Exec