show jump button if result index input changes (see #1480)
show jump button if result index input changes (see #1480)

codarchlab/arachnefrontend,obensch/arachnefrontend,dainst/arachnefrontend,dainst/arachnefrontend,obensch/arachnefrontend,codarchlab/arachnefrontend