da2f7ff153
* Store editor selection on a per-user rather than per-project basis * set code editor if rich_text=false * format fix GitOrigin-RevId: 8efc33b682de211162e674839e6b891ec04e542e