-
Notifications
You must be signed in to change notification settings - Fork 380
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
TYPE: display notification panel when a file is not included in the module tree #3826
Conversation
Just add this code to subscribe(RUST_STRUCTURE_CHANGE_TOPIC, object : RustStructureChangeListener {
override fun rustStructureChanged(file: PsiFile?, changedElement: PsiElement?) {
notifications.updateAllNotifications()
}
}) |
|
Btw #3426 can be solved by some action (see |
structure changes
Thank you, it works nicely :) Considering #3426, what should the action do? Let's say there's a file |
... or anywhere else via Yes, this is not trivial =) And I can't suggest anything for now. I think this PR is finished. Thanks! |
3826: TYPE: display notification panel when a file is not included in the module tree r=vlad20012 a=Kobzol This PR adds a notification panel that warns about files which are not included in any module tree. Currently the file has to be re-opened for the notification bar to update. Corresponding issue: #1675 Co-authored-by: Jakub Beránek <berykubik@gmail.com>
|
Speaking of |
|
I don't think we should call it "false positive". This bar says that "analysis is not available", and it actually is not available :) |
|
Indeed, the false positive part is actually |
3961: UI: introduce detached notification provider r=vlad20012 a=Undin Extract "File is not included in module tree, ..." notification introduced in #3826 to separate notification provider and allow to disable such notifications (#771 (comment)) Co-authored-by: Arseniy Pendryak <a.pendryak@yandex.ru>
3961: UI: introduce detached notification provider r=vlad20012 a=Undin Extract "File is not included in module tree, ..." notification introduced in #3826 to separate notification provider and allow to disable such notifications (#771 (comment)) Co-authored-by: Arseniy Pendryak <a.pendryak@yandex.ru>
This PR adds a notification panel that warns about files which are not included in any module tree.
Currently the file has to be re-opened for the notification bar to update.
Corresponding issue: #1675