hugoruscitti/pilas — pull request #171 by fsalamero (2013-05-28 07:34:33+00:00)
Title: Permitir colores personalizables en el menú

He añadido las opciones color_normal y color_resaltado para el actor Menu y el actor Opcion