Work around an initialization bug of GTK menus
authorJulien "_FrnchFrgg_" RIVAUD <frnchfrgg@free.fr>
Thu, 31 Oct 2019 10:34:36 +0000 (11:34 +0100)
committerJulien "_FrnchFrgg_" RIVAUD <frnchfrgg@free.fr>
Thu, 31 Oct 2019 10:34:36 +0000 (11:34 +0100)
commit07458155a290ea719dca70b876eb0922e755f7a3
treece86e13cd0f751c46aa3d79f42e1c6e200bb8cf4
parenteaba4fa593efd2f192a777654dcf7a03fd3f0ff8
Work around an initialization bug of GTK menus
libs/gtkmm2ext/utils.cc