/patch-src_frontends_qt4_GuiView_cpp/1.1/Tue Dec 19 14:06:52 2017//
D
