From: Timo Heister Date: Fri, 31 Mar 2017 19:49:34 +0000 (-0400) Subject: Merge pull request #6 from gassmoeller/bold_non_default_values X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=c84d08eb8f1c4bbb65db1065a9fbe63cdee5c4b3;p=parameter_gui.git Merge pull request #6 from gassmoeller/bold_non_default_values Show non-default values in bold --- c84d08eb8f1c4bbb65db1065a9fbe63cdee5c4b3