Added by Ignacio BrodÃn about 13 years ago
#1037 New margins in DefaultButtonsPanel
View differences