mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-04-19 13:02:30 +07:00
Found that `List.rowHeight` and `Tree.rowHeight` values are already scaled in UIDefaults. So, the usages I changed were correct. Also, it seems that we can't assume that `JBUI#getInt` always returns unscaled values, because some values in UIDefaults are scaled. This reverts commit ae91971b88e62f2314904ad8090d3679421435d7. GitOrigin-RevId: f9f1884e50d92aaa2cc81c5e735adf38f3fcf12e