removed mac os x hotkeys propaganation to webterm(they are unused) + little bugfix