# HG changeset patch
# User reimar
# Date 1200241588 0
# Node ID 0fe20154a883581b6592555aed90c6c4cbb51bd9
# Parent  363e217ce9fd4ce67da0bbe799488f4af52d599d
gui_opts should be const for win32 gui as well (why, oh why, was all
this code duplicated??).

diff -r 363e217ce9fd -r 0fe20154a883 gui/win32/wincfg.c
--- a/gui/win32/wincfg.c	Sun Jan 13 16:25:33 2008 +0000
+++ b/gui/win32/wincfg.c	Sun Jan 13 16:26:28 2008 +0000
@@ -58,7 +58,7 @@
 extern int m_config_parse_config_file(m_config_t *config, char *conffile);
 
 static m_config_t *gui_conf;
-static m_option_t gui_opts[] =
+static const m_option_t gui_opts[] =
 {
     {   "priority", &proc_priority, CONF_TYPE_STRING, 0, 0, 0, NULL},
     {   "vo_driver", &video_driver_list, CONF_TYPE_STRING_LIST, 0, 0, 0, NULL },