You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Js modules have a __file__ property, so if we can evaluate the module we should be able to jump to the file (need to be told where the gnome-shell source is though)
Functions unfortunately doesn't have any explicit location information, but for cases like imports.ui.main.activateWindow we could apply some heuristics to jump to to the function.
The text was updated successfully, but these errors were encountered:
Js modules have a
__file__
property, so if we can evaluate the module we should be able to jump to the file (need to be told where the gnome-shell source is though)imports.ui.main.__file__
=> "resource:///org/gnome/shell/ui/main.js"Functions unfortunately doesn't have any explicit location information, but for cases like
imports.ui.main.activateWindow
we could apply some heuristics to jump to to the function.The text was updated successfully, but these errors were encountered: