Added by Jorge Piera over 12 years ago
Updating the buttons size [gvsig-desktop #118]
View differences