Rename print_spaces_filtered

print_spaces_filtered is now misnamed, because whether filtering
happens is up to the stream.  So, rename it.
This commit is contained in:
Tom Tromey
2022-01-02 11:53:15 -07:00
parent 6cb06a8cda
commit d0b1020bf1
17 changed files with 47 additions and 47 deletions

View File

@@ -858,7 +858,7 @@ ppscm_print_children (SCM printer, enum display_hint hint,
if (pretty)
{
gdb_puts ("\n", stream);
print_spaces_filtered (2 + 2 * recurse, stream);
print_spaces (2 + 2 * recurse, stream);
}
else
stream->wrap_here (2 + 2 *recurse);
@@ -930,14 +930,14 @@ ppscm_print_children (SCM printer, enum display_hint hint,
if (pretty)
{
gdb_puts ("\n", stream);
print_spaces_filtered (2 + 2 * recurse, stream);
print_spaces (2 + 2 * recurse, stream);
}
gdb_puts ("...", stream);
}
if (pretty)
{
gdb_puts ("\n", stream);
print_spaces_filtered (2 * recurse, stream);
print_spaces (2 * recurse, stream);
}
gdb_puts ("}", stream);
}