From 3905dbff67b00d1f485e6a117f176d8198978b60 Mon Sep 17 00:00:00 2001 From: Wolfgang Bangerth Date: Thu, 23 Jan 2025 10:25:13 -0700 Subject: [PATCH] Fix an issue with spaces in ParameterHandler output. --- source/base/parameter_handler.cc | 11 +++++++---- 1 file changed, 7 insertions(+), 4 deletions(-) diff --git a/source/base/parameter_handler.cc b/source/base/parameter_handler.cc index f34fa405d4..955318c17e 100644 --- a/source/base/parameter_handler.cc +++ b/source/base/parameter_handler.cc @@ -1592,7 +1592,9 @@ ParameterHandler::recursively_print_parameters( for (const auto &doc_line : doc_lines) { - out << std::setw(overall_indent_level * 2) << '#'; + // Start with the comment start ('#'), padded with + // overall_indent_level*2 spaces at the front. + out << std::setw(overall_indent_level * 2) << "" << '#'; if (!doc_line.empty()) out << ' ' << doc_line; @@ -1601,9 +1603,10 @@ ParameterHandler::recursively_print_parameters( } } - // print the name and (if set) value of this entry - out << std::setw(overall_indent_level * 2) << "set " - << demangle(p.first) + // Print the name and (if set) value of this entry. Ensure proper + // padding with overall_indent_level*2 spaces at the front. + out << std::setw(overall_indent_level * 2) << "" + << "set " << demangle(p.first) << std::setw(longest_name - demangle(p.first).size() + 1) << ' ' << '='; if (!value.empty()) -- 2.39.5