Bug report: broken navigation when using tintinweb.solidity-visual-auditor

[antico5]

trafficstars

This has been reported on discord. We should reproduce it and if necessary, add it to our conflicting extensions warning

[kanej]

I suspect this is the clash with Juan Blanco's extension.

[ef3n9r98]

Hi @antico5, I know some devs who'd be interested in working on this. Is there a budget for fixing this issue, and if so, how much?

I'd put this issue up on OpenQ.

[kanej]

@ef3n9r98 thanks for the interest. We don't have a budget for external development.

Our next step on this issue is putting together an assessment of what is causing the clashes with solidity-visual-auditor and what the minimal set of changes are in our extension and in solidity-visual-auditor to stop that happening.