skip_tochar 269 core/gui_script.c ptr = skip_tochar(ptr, end); skip_tochar 287 core/gui_script.c int len = skip_tochar(ptr, end) - ptr; skip_tochar 350 core/gui_script.c const char *s = skip_tochar(ptr+1, *ptr);