log include/gui/dialog/settings.h @ 146:d8a61e7e2a36

age author description
16 months ago Paper settings/recognition: implement real media player stuff
16 months ago Paper settings: add a very early recognition tab for configuring players and extensions