private void OnSaveState(object sender, Genghis.Preferences preferences)
{
preferences.SetProperty("fnt", FontToString(this.txtSource.Font));
preferences.SetProperty("zoom", this.txtSource.ZoomFactor);
}
private void OnLoadState(object sender, Genghis.Preferences preferences)
{
this.txtSource.Font = StringToFont(preferences.GetString("fnt", null), this.txtSource.Font);
this.txtSource.ZoomFactor = preferences.GetSingle("zoom", 1.0f);
}