/patch-frontends_gtk_res_options_gtk2_ui/1.1/Wed Nov 30 07:35:00 2016//
D
