2 commits

Author	SHA1	Message	Date
Dzmitry Neviadomski	52b2610324	Rename General target to Preferences to reflect it's real purpose.	2021-01-25 01:20:27 +03:00
Chris Moeller	de5fe2857f	MIDI page now displays the filename of the currently selected SoundFont, or None if none has been loaded yet	2013-10-17 20:46:11 -07:00