On Wed, 9 Jul 2025 17:23:03 GMT, Michael Strauß <mstra...@openjdk.org> wrote:
>> ooh, I like `defaultStopInterval`, thank you. > > Maybe make it even shorter and do `TabStopPolicy.defaultInterval`. The > reasoning for dropping the "stop" is the same as before, it's already the > class name. even better! ------------- PR Review Comment: https://git.openjdk.org/jfx/pull/1744#discussion_r2195584151
