private void MyRichTextBox_Load(object sender, EventArgs e)
{
LineNumberTextBox.Font = TypingArea.Font;
TypingArea.Select();
AddLineNumbers();
DocumentMap.Text = TypingArea.Text;
typingArea.requiresSaving = 0;
}
//Update font of number margin when font of typing area changed
private void OnTypingArea_FontChanged(object sender, EventArgs e)
{
LineNumberTextBox.Font = TypingArea.Font;
TypingArea.Select();
AddLineNumbers();
}
