void gui_properties_show();