public ConsoleDocument(Form form, DocumentConfiguration documentConfiguration, ConsoleConfiguration consoleConfiguration)
{
editTextBox = documentConfiguration.TextBox;
consoleTextBox = consoleConfiguration.TextBox;
console = consoleConfiguration.Console(form);
document = documentConfiguration.Document(form);
writer = console.Writer();
reader = console.Reader();
document.StandardMenus();
}
void Playground_Load(object sender, EventArgs e)
{
results = new AutoHash <int, string>(k => "");
settings = getSettings();
errorConsole = new TextBoxConsole(this, textErrors, settings.ErrorFont, settings.ErrorFontSize, Cathode);
errorWriter = errorConsole.Writer();
try
{
try
{
tabStops = array(32, 64, 96, 128);
textEditor.SelectionTabs = tabStops;
}
catch (Exception exception)
{
displayException(exception);
}
outputConsole = new TextBoxConsole(this, textConsole, settings.ConsoleFont, settings.ConsoleFontSize, Quick);
consoleWriter = outputConsole.Writer();
textReader = outputConsole.Reader();
document = new Document(this, textEditor, ".orange", "Orange", settings.EditorFont, settings.EditorFontSize);
document.StandardMenus();
menus = document.Menus;
menus.Menu(MENU_FILE, "Set Current Folder", (s, evt) => setCurrentFolder());
menus.Menu(MENU_EDIT, "Duplicate", (s, evt) => duplicate(), "^D");
menus.Menu(MENU_EDIT, "Indent", (s, evt) => indent(), "^I");
menus.Menu(MENU_EDIT, "Unindent", (s, evt) => unindent(), "^%I");
menus.Menu($"&{MENU_BUILD}");
menus.Menu(MENU_BUILD, "Run", (s, evt) => run(), "F5");
menus.Menu(MENU_BUILD, "Manual", (s, evt) =>
{
manual = !manual;
((ToolStripMenuItem)s).Checked = manual;
}, "^F5");
menus.Menu($"&{MENU_TEXT}");
menus.Menu(MENU_TEXT, "Clipboard -> Text", (s, evt) =>
{
var text = ClipboardText();
if (text.IsSome)
{
var windowsText = GetWindowsText(text.Value);
if (textText.SelectionLength == 0)
{
textText.Text = windowsText;
}
else
{
textText.SelectedText = windowsText;
}
tabs.SelectedTab = tabText;
}
}, "^|V");
menus.Menu(MENU_TEXT, "Clipboard -> Append to Text", (s, evt) =>
{
var text = ClipboardText();
if (text.IsSome)
{
var windowsText = GetWindowsText(text.Value);
textText.AppendText(windowsText);
tabs.SelectedTab = tabText;
}
});
menus.Menu(MENU_TEXT, "Clipboard -> Text & Run", (s, evt) =>
{
var text = ClipboardText();
if (text.IsSome)
{
textText.Text = GetWindowsText(text.Value);
}
DoEvents();
run();
var selectedText = textConsole.SelectionLength == 0 ? textConsole.Text : textConsole.SelectedText;
selectedText = GetWindowsText(selectedText);
SetText(selectedText);
}, "F6");
menus.Menu(MENU_TEXT, "Text -> Clipboard", (s, evt) =>
{
var text = textConsole.SelectionLength == 0 ? textConsole.Text : textConsole.SelectedText;
text = GetWindowsText(text);
SetText(text);
}, "^|C");
menus.Menu(MENU_TEXT, "Save text to file", (s, evt) =>
{
var text = textConsole.SelectionLength == 0 ? textConsole.Text : textConsole.SelectedText;
text = GetWindowsText(text);
if (dialogSave.ShowDialog() == DialogResult.OK)
{
FileName file = dialogSave.FileName;
try
{
file.Text = text;
}
catch (Exception exception)
{
displayException(exception);
}
}
});
menus.Menu($"&{MENU_INSERT}");
menus.Menu(MENU_INSERT, "println", (s, evt) => insertText("println ", 0, 0), "^P");
menus.Menu(MENU_INSERT, "println interpolated", (s, evt) => insertText("println $\"\"", -1, 0), "^%P");
menus.Menu(MENU_INSERT, "print", (s, evt) => insertText("print ", 0, 0));
menus.Menu(MENU_INSERT, "manifln", (s, evt) => insertText("manifln ", 0, 0), "^M");
menus.Menu(MENU_INSERT, "manif", (s, evt) => insertText("manif", 0, 0));
menus.Menu(MENU_INSERT, "put", (s, evt) => insertText("put ", 0, 0));
menus.Menu(MENU_INSERT, "peek", (s, evt) => surround("peek(", ")"), "^K");
menus.MenuSeparator(MENU_INSERT);
menus.Menu(MENU_INSERT, "if template", (s, evt) => insertTemplate("if true", "true"), "^|I");
menus.Menu(MENU_INSERT, "while template", (s, evt) => insertTemplate("while true", "true"), "^|W");
menus.Menu(MENU_INSERT, "for template", (s, evt) => insertTemplate("for i in ^0", "^0"), "^|F");
menus.Menu(MENU_INSERT, "func template", (s, evt) => insertTemplate("func proc()", "proc"), "^|P");
menus.Menu(MENU_INSERT, "func template", (s, evt) => insertTemplate("func proc()", "proc"), "^|P");
menus.CreateMainMenu(this);
menus.StandardContextEdit(document);
textEditor.ReassignHandle();
locked = false;
manual = false;
stopwatch = new Stopwatch();
fileCache = new InteractiveFileCache();
textEditor.Paint += (s, evt) => paintResults(evt);
setManual(settings.Manual);
if (settings.DefaultFolder != null)
{
FolderName.Current = settings.DefaultFolder;
}
textText.Text = settings.Text.FromBase64(Encoding.UTF8) ?? "";
if (PassedFileName.IsSome)
{
document.Open(PassedFileName.Value);
}
else if (settings.LastFile != null && ((FileName)settings.LastFile).Exists())
{
document.Open(settings.LastFile);
}
}
catch (Exception exception)
{
displayException(exception);
}
}
protected void Playground_Load(object sender, EventArgs e)
{
try
{
var result =
from file in existingConfigurationFile()
from config in getConfiguration(file)
select config;
if (result.If(out playgroundConfiguration))
{
}
else
{
playgroundConfiguration = new PlaygroundConfiguration
{
DefaultFolder = FolderName.Current,
FontName = PLAYGROUND_FONT_NAME,
FontSize = PLAYGROUND_FONT_SIZE,
PackageFolder = "C" + PLAYGROUND_PACKAGE_FOLDER
};
}
}
catch (Exception exception)
{
labelStatus.Text = exception.Message;
}
packageFolder = playgroundConfiguration.PackageFolder;
outputConsole = new TextBoxConsole(this, textConsole, playgroundConfiguration.FontName, playgroundConfiguration.FontSize,
TextBoxConsole.ConsoleColorType.Quick);
textWriter = outputConsole.Writer();
textReader = outputConsole.Reader();
context = new PlaygroundContext(textWriter, textReader);
colorizer = new Colorizer(textEditor);
try
{
_exceptionData = none <ExceptionData>();
document = new Document(this, textEditor, ".kagami", "Kagami", playgroundConfiguration.FontName, playgroundConfiguration.FontSize);
var menus = document.Menus;
menus.Menu("&File");
menus.Menu("File", "&New", (_, _) =>
{
textEditor.ClearModificationGlyphs();
document.New();
});
menus.Menu("File", "&Open", (_, _) =>
{
textEditor.ClearModificationGlyphs();
document.Open();
}, "^O");
menus.Menu("File", "&Save", (_, _) =>
{
textEditor.SetToSavedGlyphs();
document.Save();
}, "^S");
menus.Menu("File", "Save As", (_, _) =>
{
textEditor.SetToSavedGlyphs();
document.SaveAs();
});
menus.Menu("File", "Exit", (_, _) => Close(), "%F4");
document.StandardEditMenu();
menus.Menu("Edit", "Duplicate", (_, _) => duplicate(), "^D");
menus.Menu("Edit", "Indent", (_, _) => indent(), "^I");
menus.Menu("Edit", "Unindent", (_, _) => unindent(), "^%I");
menus.Menu("&Build");
menus.Menu("Build", "Run", (_, _) => run(), "F5");
menus.Menu("Build", "Manual", (s, _) =>
{
manual = !manual;
((ToolStripMenuItem)s).Checked = manual;
}, "^F5");
menus.Menu("Build", "Dump operations", (s, _) =>
{
dumpOperations = !dumpOperations;
((ToolStripMenuItem)s).Checked = dumpOperations;
});
menus.Menu("Build", "Trace", (s, _) =>
{
tracing = !tracing;
((ToolStripMenuItem)s).Checked = tracing;
}, "^T");
menus.Menu("&Insert");
menus.Menu("Insert", "open sys", (_, _) => insertText("open sys\n\n", 0, 0), "^%S");
menus.Menu("Insert", "open math", (_, _) => insertText("open math\n\n", 0, 0), "^%M");
menus.Menu("Insert", "println()", (_, _) => insertText("println()", -1, 0), "^P");
menus.Menu("Insert", "println() interpolated", (_, _) => insertText("println($\"\")", -2, 0), "^%P");
menus.Menu("Insert", "print()", (_, _) => insertText("print()", -1, 0));
menus.Menu("Insert", "put()", (_, _) => insertText("put()", -1, 0));
menus.Menu("Insert", "peek()", (_, _) => surround("peek(", ")"), "^K");
menus.Menu("Insert", "Triple quotes", (_, _) => insertText("\"\"\"\n\"\"\"", -3), "^Q");
menus.Menu("Insert", "List", (_, _) => insertText("⌈⌉", -1), "^L");
menus.Menu("Insert", "Set", (_, _) => insertText("⎩⎭", -1), "^E");
menus.Menu("&Debug");
menus.Menu("Debug", "Step Into", (_, _) => stepInto(), "F11");
menus.Menu("Debug", "Step Over", (_, _) => stepOver(), "F10");
menus.CreateMainMenu(this);
menus.StandardContextEdit(document);
textEditor.SetTabs(32, 64, 96, 128);
textEditor.SetLeftMargin(70);
textEditor.ReassignHandle();
textEditor.Paint += (_, evt) => paint(evt);
textEditor.AnnotationFont = new Font(textEditor.Font, FontStyle.Bold);
locked = false;
manual = false;
dumpOperations = false;
tracing = false;
stopwatch = new Stopwatch();
_exceptionIndex = none <int>();
cancelled = false;
if (playgroundConfiguration.LastFile != null)
{
document.Open(playgroundConfiguration.LastFile);
}
}
catch (Exception exception)
{
textWriter.WriteLine(exception.Message);
}
}
protected void Playground_Load(object sender, EventArgs e)
{
results = new AutoHash <int, string>(_ => "");
settings = getSettings();
errorConsole = new TextBoxConsole(this, textErrors, settings.ErrorFont, settings.ErrorFontSize, TextBoxConsole.ConsoleColorType.Cathode);
errorWriter = errorConsole.Writer();
try
{
try
{
tabStops = array(32, 64, 96, 128);
textEditor.SelectionTabs = tabStops;
}
catch (Exception exception)
{
displayException(exception);
}
outputConsole = new TextBoxConsole(this, textConsole, settings.ConsoleFont, settings.ConsoleFontSize,
TextBoxConsole.ConsoleColorType.Quick);
consoleWriter = outputConsole.Writer();
textReader = outputConsole.Reader();
document = new Document(this, textEditor, ".orange", "Orange", settings.EditorFont, settings.EditorFontSize);
document.StandardMenus();
menus = document.Menus;
menus.Menu(MENU_FILE, "Set Current Folder", (_, _) => setCurrentFolder());
menus.Menu(MENU_EDIT, "Duplicate", (_, _) => duplicate(), "^D");
menus.Menu(MENU_EDIT, "Indent", (_, _) => indent(), "^I");
menus.Menu(MENU_EDIT, "Unindent", (_, _) => unindent(), "^%I");
menus.Menu($"&{MENU_BUILD}");
menus.Menu(MENU_BUILD, "Run", (_, _) => run(), "F5");
menus.Menu(MENU_BUILD, "Manual", (s, _) =>
{
manual = !manual;
((ToolStripMenuItem)s).Checked = manual;
}, "^F5");
menus.Menu($"&{MENU_TEXT}");
menus.Menu(MENU_TEXT, "Clipboard -> Text", (_, _) =>
{
if (ClipboardText().If(out var clipboardText))
{
var windowsText = GetWindowsText(clipboardText);
if (textText.SelectionLength == 0)
{
textText.Text = windowsText;
}
else
{
textText.SelectedText = windowsText;
}
tabs.SelectedTab = tabText;
}
}, "^|V");
menus.Menu(MENU_TEXT, "Clipboard -> Append to Text", (_, _) =>
{
if (ClipboardText().If(out var clipboardText))
{
var windowsText = GetWindowsText(clipboardText);
textText.AppendText(windowsText);
tabs.SelectedTab = tabText;
}
});
public TextBoxInterface(Form form, ExRichTextBox textBox)
{
console = new TextBoxConsole(form, textBox);
writer = console.Writer();
reader = console.Reader();
}
