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.
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.activateWindowwe could apply some heuristics to jump to to the function.