Save and restore options through history file
Options like font, local edit, transparency are saved to history file at exit, then restored at restart.
Options like font, local edit, transparency are saved to history file at exit, then restored at restart.