WebKit.EditorTypingAttributes.BOLD – webkit2gtk-4.0 Reference Manual
BOLD
Description:
BOLD
Bold typing attribute.
2022 vala-language.org