[grisbi-devel] [PATCH 03/12] replace gtk_hpaned_new () by gtk_paned_new ( GTK_ORIENTATION_HORIZONTAL )
Rémi Cardona
remi at gentoo.org
Tue Mar 5 07:16:21 CET 2013
Ok pour ce patch.
Au fait, as-tu regardé Coccinelle pour faire ce genre de remplacements
mécaniques?
http://coccinelle.lip6.fr/
http://www.emn.fr/z-info/coccinelle/docs/main_grammar011.html#toc1
Je m'en suis déjà servi dans une branche que je publierai plus tard pour
réécrire les fonctions make_hint() et consorts. C'est un peu compliqué
pour se mettre dedans mais c'est super pratique.
Rémi
More information about the devel
mailing list