React IDE page: implement file restore and simplify some state GitOrigin-RevId: ff63eb4f649156b58d9f8c4573cb6bd5b516a299