# HG changeset patch
# User ib
# Date 1364410629 0
# Node ID 9474726062ef3fe637da02579bd3cad7747f563d
# Parent  76d4f38ffdf94a5a04c04a3075b6538ed6b7b06c
Change parameter declaration to const.

diff -r 76d4f38ffdf9 -r 9474726062ef gui/ui/actions.c
--- a/gui/ui/actions.c	Wed Mar 27 18:56:13 2013 +0000
+++ b/gui/ui/actions.c	Wed Mar 27 18:57:09 2013 +0000
@@ -660,7 +660,7 @@
  *
  * @note All #guiInfo members associated with the file will be cleared.
  */
-void uiSetFile(char *dir, char *name, int type)
+void uiSetFile(const char *dir, const char *name, int type)
 {
     if (!dir)
         setdup(&guiInfo.Filename, name);
diff -r 76d4f38ffdf9 -r 9474726062ef gui/ui/actions.h
--- a/gui/ui/actions.h	Wed Mar 27 18:56:13 2013 +0000
+++ b/gui/ui/actions.h	Wed Mar 27 18:57:09 2013 +0000
@@ -31,7 +31,7 @@
 void uiPlay(void);
 void uiPrev(void);
 void uiRelSeek(float percent);
-void uiSetFile(char *dir, char *name, int type);
+void uiSetFile(const char *dir, const char *name, int type);
 void uiState(void);
 void uiUnsetFile(void);
 void uiUnsetMedia(int totals);
diff -r 76d4f38ffdf9 -r 9474726062ef gui/win32/interface.c
--- a/gui/win32/interface.c	Wed Mar 27 18:56:13 2013 +0000
+++ b/gui/win32/interface.c	Wed Mar 27 18:57:09 2013 +0000
@@ -447,7 +447,7 @@
     mygui->startplay(mygui);
 }
 
-void uiSetFile(char *dir, char *name, int type)
+void uiSetFile(const char *dir, const char *name, int type)
 {
     if(!name) return;
     if(!dir)