You can try plugging and unplugging your micro:bit, but if it still doesn't work, just download your code file and transfer it manually through the file explorer.