On Mon, 31 Aug 2026 23:05:32 GMT, Jose Pereda <[email protected]> wrote:
>> Fixes broken navigation introduced in >> [JDK-8370902](https://bugs.openjdk.org/browse/JDK-8370902) with non-zero >> paragraph spacing (above, below, line spacing). >> >> Updated the Rich Editor Demo to allow setting paragraph line spacing in >> addition to space above/below (right click -> Paragraph). >> >> --------- >> - [x] I confirm that I make this contribution in accordance with the >> [OpenJDK Interim AI Policy](https://openjdk.org/legal/ai). > > modules/jfx.incubator.richtext/src/main/java/com/sun/jfx/incubator/scene/control/richtext/RangeInfo.java > line 39: > >> 37: */ >> 38: public final class RangeInfo { >> 39: /// { miny, maxy, ... } > > remove extra slash? And it might be more meaningful like this? > > // { miny1, maxy1, miny2, maxy2,... } triple slash is a javadoc comment, I use it quite often in eclipse: <img width="381" height="91" alt="Screenshot 2026-09-01 at 12 00 45" src="https://github.com/user-attachments/assets/32fbf384-b640-4b86-8d3d-fdc67f46fe76"; /> has no impact on public api spec because it's an internal class ------------- PR Review Comment: https://git.openjdk.org/jfx/pull/2280#discussion_r3907422118
