private Widget CreateTextView()
{
textView = new ThemedTextView();
textWriter = new TextViewWriter(textView);
Console.SetOut(textWriter);
Console.SetError(textWriter);
var menu = new Menu();
var shCopy = new Shortcut(Modifiers.Control, Key.C);
var command = new Command
{
Shortcut = shCopy,
Text = "Copy All",
};
menu.Add(command);
textView.Updated += (dt) => {
if (textView.Input.WasKeyPressed(Key.Mouse1))
{
menu.Popup();
}
if (command.WasIssued())
{
command.Consume();
Clipboard.Text = textView.Text;
}
};
return(textView);
}
private Widget CreateTextView()
{
textView = new ThemedTextView {
SquashDuplicateLines = true
};
textWriter = new TextViewWriter(textView);
System.Console.SetOut(textWriter);
System.Console.SetError(textWriter);
var menu = new Menu();
menu.Add(Command.Copy);
textView.Updated += (dt) => {
if (textView.Input.WasKeyPressed(Key.Mouse0))
{
textView.SetFocus();
}
if (textView.Input.WasKeyPressed(Key.Mouse1))
{
menu.Popup();
}
if (textView.IsFocused() && Command.Copy.WasIssued())
{
Command.Copy.Consume();
Clipboard.Text = textView.Text;
}
var i = textView.Content.Nodes.Count;
// numbers choosen by guess
if (i >= 500)
{
textView.Content.Nodes.RemoveRange(0, 250);
}
};
return(textView);
}
private Widget CreateTextView()
{
textView = new ThemedTextView {
SquashDuplicateLines = true
};
textWriter = new TextViewWriter(textView)
{
SystemOut = System.Console.Out,
};
System.Console.SetOut(textWriter);
System.Console.SetError(textWriter);
textView.Tasks.Add(ManageTextViewTask);
return(textView);
}
public TextViewWriter(ThemedTextView textView)
{
this.textView = textView;
Project.Opening += path => {
var logDir = Path.GetDirectoryName(path);
if (!Directory.Exists(logDir))
{
Directory.CreateDirectory(logDir);
}
LogFilePath = Path.Combine(logDir, "TangerineLog.txt");
if (file != null)
{
file.Close();
}
File.WriteAllText(LogFilePath, logBeforeProjectOpened.ToString());
file = new StreamWriter(File.Open(LogFilePath, FileMode.Append, FileAccess.Write));
logBeforeProjectOpened.Clear();
};
}
public TextViewWriter(ThemedTextView textView)
{
this.textView = textView;
}
public TextViewWriter(ThemedTextView textView, TextWriter consoleOutput)
{
this.consoleOutput = consoleOutput;
this.textView = textView;
this.textView.Behaviour.Content.Gestures.Add(new DragGesture());
}
