On Wed, 22 Apr 2026 16:37:18 GMT, Kevin Rushforth <[email protected]> wrote:
>> Andy Goryachev has updated the pull request with a new target base due to a >> merge or a rebase. The pull request now contains 173 commits: >> >> - review comments >> - Merge branch 'master' into 8356042.ruler >> - add exports >> - whitespace >> - test >> - doc >> - change listener >> - Merge branch 'master' into 8356042.ruler >> - new document >> - file >> - ... and 163 more: https://git.openjdk.org/jfx/compare/e735e23a...1ca1af96 > > doc-files/controls/RichTextArea/RichTextArea_DataFormat_v2.md line 23: > >> 21: In short, the format is plain text which contains a sequence of segments >> representing: >> 22: >> 23: - document properties > > I recommend adding a header with a version number before the document > properties section, instead of making the version number be just another > document property. It is more future-proof, and easier to sanity check. I like this idea! So the question is - another revision is coming with https://bugs.openjdk.org/browse/JDK-8365949 what would make more sense - add the version header to this PR or in the next one? ------------- PR Review Comment: https://git.openjdk.org/jfx/pull/1800#discussion_r3127100172
