People, 1)Has someone got to play MIDI files through linux? [DEBIAN ] ? 2)How to make PYTHON and WXGTK fonts smaller? They are real big =( thanks -- Bruno Ribas - ribas@ufpr.br