Code review comment for lp:~tapaal-contributor/tapaal/cut-names-1923011

Revision history for this message
Peter Haahr Taankvist (ptaank) wrote :

It happens several places, but now it only happens for buttons and panels. Should this also be changed?

« Back to merge proposal