diff gui/ui/gtk/menu.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 0ba85cad4c7e
children a56707da37cd
line wrap: on
line diff