MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-03-22 15:19:59 +07:00
Code Issues Packages Projects Releases Wiki Activity

[platform] API cleanup: mark deprecated unused API for removal (IJPL-156972)

Browse Source 
Deprecated APIs which still have internal usage are marked as internal to ensure that new external usages won't appear.

GitOrigin-RevId: eedfd26c8fb330df53d94a8768821f7878974100
This commit is contained in:
Nikolay Chashnikov
2024-10-10 20:57:53 +02:00
committed by intellij-monorepo-bot
parent f649dbcdc6
commit 269f036ea1
25 changed files with 30 additions and 26 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
platform/lvcs-impl/src/com/intellij/history/integration/revertion/Reverter.java
View File

@@ -35,7 +35,7 @@ public abstract class Reverter {
/**
* @deprecated always returns empty list
*/
@Deprecated
@Deprecated(forRemoval = true)
public List<String> askUserForProceeding() throws IOException {
return Collections.emptyList();
}