zach valenta

Can we get this merged?

> That link points to the wrong page. I guess you meant to use: https://github.com/gulyasm/jsonui Yep, good catch, just updated.

Can we get this merged?

Or clarity about whether they will continue forward with the project

@zoidbergwill good idea!

he's back :)

@mjhea0 yep! buncha outstanding PRs merged after we reached out

Same goes for functions. If, for example, I wanted to only see my user-defined functions in the module from the first screenshot, I don't think I can currently do it:...

> This looks like it is using `jedi`. Can you confirm from your settings? look for `jediEnabled`. If it is `jedi` then you will have to report it here: https://github.com/davidhalter/jedi...

> Because we have not heard back with the information we requested, we are closing this issue for now. If you are able to provide the info later on then...