remove obsolete gtkui_details_window and gtkui_details_print functions