/patch-frontends_gtk_res_options_gtk2_ui/1.2/Tue Sep 25 08:48:58 2018//
D
