mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-07 06:01:00 +07:00
Java highlighting is turned off when replace/highlight/link are used GitOrigin-RevId: eb63ab475dadfa4b3f1e26478ddef18b4807955f
5 lines
71 B
Java
5 lines
71 B
Java
/**
|
|
* {@snippet class=Region region=test}
|
|
*/
|
|
class RegionNoMarkup {
|
|
} |