Code

Table: rounded selection#856

Code

Merged

DevCharly merged 3 commits intomainJFormDesigner/FlatLaf:mainfrom table-rounded-selectionJFormDesigner/FlatLaf:table-rounded-selectionCopy head branch name to clipboardJul 15, 2024

+761-57

Commits

Commits on Jun 24, 2024

• Table: support rounded selection (issue #844)

  DevCharly

  committed
  9ffda72

  Copy full SHA for 9ffda72

• Table: fixed location of painted grid lines when scaled with fractional scale factors (e.g. 125%-175%)

  DevCharly

  committed
  9e05384

  Copy full SHA for 9e05384

Commits on Jun 27, 2024

• Table: fixed repainting of rounded selection when selection changes

  DevCharly

  committed
  127dd6a

  Copy full SHA for 127dd6a