Yep, bug is still there (r11870). Just that "bold" is now not a button but a dropdown.
(PDF export bug is also still there. Suggestions where to report this welcome.)
Yep, bug is still there (r11870). Just that "bold" is now not a button but a dropdown.
(PDF export bug is also still there. Suggestions where to report this welcome.)