refactoring ScriptWidget
Implement Ctrl + F in all editors #134