diff gui/ui/gtk/about.c @ 34403:bca629bb50cf

Initialize device options in guiInit(). Don't do that just before playback starts.
author ib
date Mon, 02 Jan 2012 16:48:18 +0000
parents 335de7e0f6ed
children a650895d50a5
line wrap: on
line diff