Migrated the Button widget in bug.js