@@ -370,7 +370,11 @@ class Style:
370370 ## DATA node
371371
372372 kw_data = {}
373- kw_data_pruned = {"color" : Ref ("cancel_color" ), "tooltip" : "(pruned node)" }
373+ kw_data_pruned = {
374+ "color" : Ref ("cancel_color" ),
375+ "tooltip" : "(pruned node)" ,
376+ "fontcolor" : Ref ("cancel_color" ),
377+ }
374378 kw_data_in_plan = {"color" : Ref ("in_plan" )}
375379 kw_data_in_solution = {"style" : "filled" , "fillcolor" : Ref ("fill_color" )}
376380 kw_data_overwritten = {"style" : "filled" , "fillcolor" : Ref ("overwrite_color" )}
@@ -387,7 +391,7 @@ class Style:
387391 kw_op = {}
388392 #: props only for HTML-Table label
389393 kw_op_label = {}
390- kw_op_pruned = {"color" : Ref ("cancel_color" )}
394+ kw_op_pruned = {"color" : Ref ("cancel_color" ), "fontcolor" : Ref ( "cancel_color" ) }
391395 kw_op_executed = {"fillcolor" : Ref ("fill_color" )}
392396 kw_op_rescheduled = {"penwidth" : Ref ("resched_thickness" )}
393397 kw_op_endured = {"penwidth" : Ref ("resched_thickness" )}
@@ -414,15 +418,31 @@ class Style:
414418 'HREF': op_url | hrefer | ee,
415419 'TARGET': op_link_target | ee
416420 } | xmlattr }}
417- >{{ '<B>OP:</B> <I>%s</I>' % op_name |ee if op_name }}</TD></TR
421+ >
422+ {%- if fontcolor -%}
423+ <FONT COLOR="{{ fontcolor }}">
424+ {%- endif -%}
425+ {{ '<B>OP:</B> <I>%s</I>' % op_name |ee if op_name }}
426+ {%- if fontcolor -%}
427+ </FONT>
428+ {%- endif -%}
429+ </TD></TR
418430 >
419431 {%- if fn_name -%}
420432 <TR><TD {{- {
421433 'TOOLTIP': fn_tooltip | truncate | eee,
422434 'HREF': fn_url | hrefer | ee,
423435 'TARGET': fn_link_target | ee
424436 } | xmlattr }}
425- ><B>FN:</B> {{ fn_name | eee }}</TD></TR>
437+ >
438+ {%- if fontcolor -%}
439+ <FONT COLOR="{{ fontcolor }}">
440+ {%- endif -%}
441+ <B>FN:</B> {{ fn_name | eee }}
442+ {%- if fontcolor -%}
443+ </FONT>
444+ {%- endif -%}
445+ </TD></TR>
426446 {%- endif %}
427447 </TABLE>>
428448 """
0 commit comments