Activity

  Dennis Hackethal addressed criticism #4023.

Would be nice if the copy button was sticky-top so that it scrolled with the user.

#4023​·​Dennis HackethalOP, 8 months ago

A sticky button can't work here: the main content area has to be a horizontal scroll container so deeply nested trees can grow sideways, and that stops position: sticky from sticking. The workarounds (reworking the global layout, or JavaScript positioning that jitters on mobile) are too risky for such a small benefit.

(Generated with Claude.)