Added back gui options to Coral
Added back gui options to Coral

Former-commit-id: 326cd58002070db49a7e24332c1cdc5ca2eb74d1

Former-commit-id: a3f5a21fd46d6c61b0a8a0ff0aef10abc48eef9f

noahingham/noahingham.github.io,noahingham/noahingham.github.io,noahingham/noahingham.github.io,noahingham/noahingham.github.io