<parameterdatatype="number"min_n_values="1"max_n_values="1"name="guard_font_size"default="10"description="The size of the font to use for guards when displaying a process graph."section_name="fonts"/>
<parameterdatatype="number"min_n_values="1"max_n_values="1"name="guard_font_size"default="10"description="The size of the font to use for guards when displaying a process graph."section_name="fonts"/>