void (@NotNull JTree tree, int rowNew) { int rowOld = getHoveredRow(tree); if (rowNew == rowOld) return; tree.putClientProperty(HOVERED_ROW_KEY, rowNew < 0 ? null : rowNew); if (RenderingUtil.isHoverPaintingDisabled(tree)) return; TreeUtil.repaintRow(tree, rowOld); TreeUtil.repaintRow(tree, rowNew); }