A Chrome app based development environment with a reusable library of GUI widgets