mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-18 09:34:34 +07:00
PY-83395: Display a notification that will allow to revert marking directory as source root
GitOrigin-RevId: 295c25fca066163fe449742e174ec8a052f8992b
This commit is contained in:
committed by
intellij-monorepo-bot
parent
9b18abc71e
commit
d26001dea9
@@ -1371,3 +1371,8 @@ INSP.unnecessary.cast.message=Unnecessary cast; type is already ''{0}''
|
||||
|
||||
# Quick fixes for PyUnnecessaryCastInspection
|
||||
QFIX.remove.cast.call=Remove 'cast' call
|
||||
|
||||
# Quick fix: mark directory as source root
|
||||
QFIX.add.source.root.notification.text=''{0}'' has been marked as source root.
|
||||
QFIX.add.source.root.notification.ok=Ok
|
||||
QFIX.add.source.root.notification.revert=Revert
|
||||
|
||||
Reference in New Issue
Block a user