protected void LoadPreferences (string default_folder)
{
string last_dir = (string) Preferences.Get (Preferences.EXPORTHTML_LAST_DIRECTORY);
if (last_dir == "")
last_dir = Environment.GetEnvironmentVariable ("HOME");
SetCurrentFolder (last_dir);
CurrentName = default_folder;
}
}