Added by bsanchez over 16 years ago
- Hack para asignar el alto a la barra de herramientas.
View differences