option_stop_format_chars   52 src/editor/edit.h extern char *option_stop_format_chars;
option_stop_format_chars   59 src/editor/format.c char *option_stop_format_chars = NULL;
option_stop_format_chars  115 src/editor/format.c     return (option_stop_format_chars != NULL && strchr (option_stop_format_chars, c) != NULL);
option_stop_format_chars  504 src/editor/format.c         if (option_stop_format_chars != NULL
option_stop_format_chars  505 src/editor/format.c             && strchr (option_stop_format_chars, t->str[0]) != NULL)
option_stop_format_chars  511 src/editor/format.c         if (option_stop_format_chars == NULL || *option_stop_format_chars == '\0')
option_stop_format_chars  514 src/editor/format.c             stop_format_chars = g_strconcat (option_stop_format_chars, "\t", (char *) NULL);
option_stop_format_chars  409 src/setup.c        { "editor_stop_format_chars", &option_stop_format_chars, "-+*\\,.;:&>" },