mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-04-10 00:21:23 +07:00
Also: allow a custom highlighter to supersede the default one GitOrigin-RevId: c7d7a8be3ef762c9516ed3b637d467d4b544af00
3 lines
97 B
Java
3 lines
97 B
Java
// IDEA-369310
|
|
@SuppressWarnings("unused".<error descr="Identifier expected">)</error>
|
|
class X {} |