mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-02-05 16:36:56 +07:00
* fix escaped quotes (see IDEA-320246 for details) * allow any order of highlighting properties * allow using escaped string when the tooltip starts with <html> * always strip tooltip html tags GitOrigin-RevId: 9821d660da5c4633f331ff7b80b5b7248ccf2e27