re__copy_and_pad(): * Copy string and pad with spaces */
| 968 | * Copy string and pad with spaces |
| 969 | */ |
| 970 | private void |
| 971 | re__copy_and_pad(Char *dst, const Char *src, size_t width) |
| 972 | { |
| 973 | size_t i; |
| 974 | |
| 975 | for (i = 0; i < width; i++) { |
| 976 | if (*src == '\0') |
| 977 | break; |
| 978 | *dst++ = *src++; |
| 979 | } |
| 980 | |
| 981 | for (; i < width; i++) |
| 982 | *dst++ = ' '; |
| 983 | |
| 984 | *dst = '\0'; |
| 985 | } |
| 986 | |
| 987 | |
| 988 | /* re_refresh_cursor(): |
no outgoing calls
no test coverage detected