Fixes search filter
Fixes search filter

Previously the search filter wouldn't update correctly when using the context menu to cut or paste. This is fixed by listening to the 'input' event. Also, the code to re-show all the functions when the search text was cleared out didn't quite re-show everything it needed to.

Conflicts:
	static/scripts/main.js

donnut/ramdocs