[email protected] writes: > Seems like eval() is not needed for some time now. > > The trivial patch against tip to remove it is attached.
eval() was never needed per se. I put it in because you need it if you want robust keybindings to functions defined in script.js, and you need to spend a good while reading dubious documentation to figure out how to write it yourself. Maybe we could express some of the default surf commands using it, though. -- \ Troels /\ Henriksen
