Change/Fix some menu stuff including keyboard shortcuts.
Update manual for recent changes.
Fix that bug where pasting or deleting all text could mess with the font and text size of a textbox.