diff options
| -rw-r--r-- | amiga/system_colour.c | 2 | ||||
| -rw-r--r-- | atari/system_colour.c | 2 | ||||
| -rw-r--r-- | beos/system_colour.cpp | 2 | ||||
| -rw-r--r-- | cocoa/system_colour.m | 2 | ||||
| -rw-r--r-- | desktop/gui.h | 2 | ||||
| -rw-r--r-- | framebuffer/system_colour.c | 2 | ||||
| -rw-r--r-- | gtk/system_colour.c | 2 | ||||
| -rw-r--r-- | monkey/system_colour.c | 2 | ||||
| -rw-r--r-- | riscos/system_colour.c | 2 | ||||
| -rw-r--r-- | windows/system_colour.c | 2 |
10 files changed, 10 insertions, 10 deletions
diff --git a/amiga/system_colour.c b/amiga/system_colour.c index a9c695057..687d0231b 100644 --- a/amiga/system_colour.c +++ b/amiga/system_colour.c @@ -307,7 +307,7 @@ void gui_system_colour_finalize(void) gui_system_colour_pw = NULL; } -colour gui_system_colour_char(char *name) +colour gui_system_colour_char(const char *name) { colour ret = 0xff00000; unsigned int ccount; diff --git a/atari/system_colour.c b/atari/system_colour.c index c0c125b9b..f1544f735 100644 --- a/atari/system_colour.c +++ b/atari/system_colour.c @@ -255,7 +255,7 @@ void gui_system_colour_finalize(void) } } -colour gui_system_colour_char(char *name) +colour gui_system_colour_char(const char *name) { colour ret = 0xff00000; unsigned int ccount; diff --git a/beos/system_colour.cpp b/beos/system_colour.cpp index 9c25d8f5e..cf47e1eda 100644 --- a/beos/system_colour.cpp +++ b/beos/system_colour.cpp @@ -326,7 +326,7 @@ void gui_system_colour_finalize(void) } } -colour gui_system_colour_char(char *name) +colour gui_system_colour_char(const char *name) { colour ret = 0xff00000; unsigned int ccount; diff --git a/cocoa/system_colour.m b/cocoa/system_colour.m index 5477dbfbe..d528d7388 100644 --- a/cocoa/system_colour.m +++ b/cocoa/system_colour.m @@ -250,7 +250,7 @@ void gui_system_colour_finalize(void) } } -colour gui_system_colour_char(char *name) +colour gui_system_colour_char(const char *name) { colour ret = 0xff00000; unsigned int ccount; diff --git a/desktop/gui.h b/desktop/gui.h index 0d3216e9b..85f1015eb 100644 --- a/desktop/gui.h +++ b/desktop/gui.h @@ -161,7 +161,7 @@ nsurl* gui_get_resource_url(const char *path); css_error gui_system_colour(void *pw, lwc_string *name, css_color *color); /** Obtain a named system colour from a frontend. */ -colour gui_system_colour_char(char *name); +colour gui_system_colour_char(const char *name); bool gui_system_colour_init(void); void gui_system_colour_finalize(void); diff --git a/framebuffer/system_colour.c b/framebuffer/system_colour.c index abe1adcd2..4756be3ec 100644 --- a/framebuffer/system_colour.c +++ b/framebuffer/system_colour.c @@ -250,7 +250,7 @@ void gui_system_colour_finalize(void) } } -colour gui_system_colour_char(char *name) +colour gui_system_colour_char(const char *name) { colour ret = 0xff00000; unsigned int ccount; diff --git a/gtk/system_colour.c b/gtk/system_colour.c index ec40947c0..9c58b915e 100644 --- a/gtk/system_colour.c +++ b/gtk/system_colour.c @@ -250,7 +250,7 @@ void gui_system_colour_finalize(void) } } -colour gui_system_colour_char(char *name) +colour gui_system_colour_char(const char *name) { colour ret = 0xff00000; unsigned int ccount; diff --git a/monkey/system_colour.c b/monkey/system_colour.c index ec40947c0..9c58b915e 100644 --- a/monkey/system_colour.c +++ b/monkey/system_colour.c @@ -250,7 +250,7 @@ void gui_system_colour_finalize(void) } } -colour gui_system_colour_char(char *name) +colour gui_system_colour_char(const char *name) { colour ret = 0xff00000; unsigned int ccount; diff --git a/riscos/system_colour.c b/riscos/system_colour.c index 7334fde73..3ecc0c7db 100644 --- a/riscos/system_colour.c +++ b/riscos/system_colour.c @@ -288,7 +288,7 @@ void gui_system_colour_finalize(void) } } -colour gui_system_colour_char(char *name) +colour gui_system_colour_char(const char *name) { colour ret = 0xff00000; unsigned int ccount; diff --git a/windows/system_colour.c b/windows/system_colour.c index ec40947c0..9c58b915e 100644 --- a/windows/system_colour.c +++ b/windows/system_colour.c @@ -250,7 +250,7 @@ void gui_system_colour_finalize(void) } } -colour gui_system_colour_char(char *name) +colour gui_system_colour_char(const char *name) { colour ret = 0xff00000; unsigned int ccount; |