Added by Juan Lucas DomÃnguez almost 12 years ago
#816 Some GUI improvements (checkbox, scroll)
View differences