From: Wolfgang Bangerth Date: Thu, 23 Jan 2025 17:25:13 +0000 (-0700) Subject: Fix an issue with spaces in ParameterHandler output. X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=3905dbff67b00d1f485e6a117f176d8198978b60;p=dealii.git Fix an issue with spaces in ParameterHandler output. --- 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())