|
TYPE curve_style_font_select = SELECT ( curve_style_font, pre_defined_curve_font, externally_defined_curve_font); END_TYPE; -- curve_style_font_select |
Userscurve_font_or_scaled_curve_font_selectcurve_style.curve_font curve_style_font_and_scaling.curve_font |