mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-01-08 23:39:39 +07:00
* Added a description for the "Python" group of Settings * Added a description for the "Type Renderers" settings page * Added a description for the "External Documentation" settings page * Added a helpId for the "Type Renderers" settings page (cherry picked from commit 29e93e8dd7fc7f54adea825b60cf8d95540fc6b0) IJ-CR-166515 GitOrigin-RevId: f8fd3f2ca9d6e2d34077a5424673adeb66bc05d1