mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-04-30 18:28:55 +07:00
[plugins] API cleanup: mark deprecated unused API for removal (IJPL-156972)
GitOrigin-RevId: f1b2c24f8eac7cdbc6024323e0849507c70450ec
This commit is contained in:
committed by
intellij-monorepo-bot
parent
df3e571577
commit
3e78ec9042
@@ -72,7 +72,7 @@ public final class CheckRegExpForm {
|
||||
/**
|
||||
* @deprecated Use {{@link Keys#CHECK_REG_EXP_EDITOR} instead.
|
||||
*/
|
||||
@Deprecated
|
||||
@Deprecated(forRemoval = true)
|
||||
public static final Key<Boolean> CHECK_REG_EXP_EDITOR = Keys.CHECK_REG_EXP_EDITOR;
|
||||
|
||||
public static final class Keys {
|
||||
|
||||
Reference in New Issue
Block a user