Invalidate char_pixel_* on possible font change
authorJulien "_FrnchFrgg_" RIVAUD <frnchfrgg@free.fr>
Sat, 20 Aug 2016 14:01:15 +0000 (16:01 +0200)
committerJulien "_FrnchFrgg_" RIVAUD <frnchfrgg@free.fr>
Sat, 20 Aug 2016 14:01:15 +0000 (16:01 +0200)
commit99e31db66ed4be268eb2d9088a6997dee0ecc23e
treea0bc53c171a03393fc915f4aa7d9159be5794a70
parentf108bf1373f8fdcf4c5a712756281ac265825b71
Invalidate char_pixel_* on possible font change

So that the padding and other elements always correctly depend on the
font instead of the default GTK font (which might have a wildly
different size from the fixed size fonts of Ardour's custom theme).
gtk2_ardour/ardour_button.cc