Nebula 3.0.0 releng
#510 by lcaron was closed Mar 7, 2023
RichTextPainter does not handle bold tag
#508 by fipro78 was closed Mar 7, 2023
1
RichTextPainter returns incorrect preferred size if more space is available
#501 by fipro78 was closed Jan 17, 2023
RichTextPainter returns incorrect preferred size #501
#502 by fipro78 was merged Jan 17, 2023 Loading…
Minor errors in API documentation
#496 by jolkdarr was closed Nov 22, 2022
1
Question: Update Java version?
#408 by vogella was closed Aug 17, 2022
9