mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-10 18:09:38 +07:00
- fixes preview - adds double-click to (de)select - text improved - more space for the method names GitOrigin-RevId: f898d142fe0d407cd2ff205f67c8368a95f63823