mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-03-22 15:19:59 +07:00
- Also, toolbars will finally look complete in remote dev - Removed multiple calls to Editor revalidate/repaint (cherry picked from commit af2a30af1b3721ac3b756c2c8d79bb7a1dd079f1) GitOrigin-RevId: 00ddb21d4e561ab781e7a088de489b7499e140d3