637
637
BaseFontName = conf.get_str("gui", "base_font_name", "spacefont.txt");
638
638
FlagShowScriptBar = conf.get_boolean("gui","flag_show_script_bar",0);
639
639
MouseCursorTimeout = conf.get_double("gui","mouse_cursor_timeout",0);
642
643
AzimuthalColor = str_to_vec3f(conf.get_str("color:azimuthal_color").c_str());