javascript: getElementById("source") not always available

[grepsuzette]

How to reproduce this bug

• Open js console.
• Go to a package source (or at least, to a non-blog, non-render page). e.g. https://gno.land/r/gnoland/blog/gnoblog.gno

The cause is shown here:

#source is only produced by a few templates: views/generic.html (not sure if it's used however) and views/realm_render.html.

Suggested solution

In https://github.com/gnolang/gno/blob/6432573d82e03cce4c1607b1d37e274ad36bd935/gno.land/pkg/gnoweb/views/funcs.html#L161-L177

Immediately after main() insert a line if (document.getElementById("source") == null) return false;

Posting a fix right now.

[thehowl]

If somebody wants to fix it, check out my comments on #2565: https://github.com/gnolang/gno/pull/2565#issuecomment-2250437482

Or wait for when we re-organize gnoweb, Soon:tm: .