On multiplie la taille des fontes par 2.
[minwii.git] / src / minwii / widgets / data / minwii_theme / console.input.focus.png
src/minwii/widgets/data/minwii_theme/console.input.focus.png