index ef5f92e1aa69e6567b316f6598eaac335aec78f0..ba05369a8d1a750d3b4d5c3ba32542cce4d5d4f5 100644 (file)
/* XPM */
-static char * cursor_push_xpm[] = {
+static char const *cursor_push_xpm[] = {
"32 32 3 1",
" c None",
". c #FFFFFF",