On Tue, 25 Jul 2023 11:17:52 GMT, Alexey Ivanov <[email protected]> wrote:
> The bug report mentions using `setDocument()` to change the value of the > formatted text field. Also, it's possible to call `getDocument().setText()`, > which may still have the original bug. Fixed setDocument but I couldn't find Document.setText that can be called... ------------- PR Comment: https://git.openjdk.org/jdk/pull/14993#issuecomment-1650920455
