tree 4973865b26a5b6479688fb0c0647dc66b1db6e3f
parent 17bed344d7f66f72e1e19cfdb1295fc4eeae58ab
author Robin Thellend <rthellend@google.com> 1468950699 -0700
committer Robin Thellend <rthellend@google.com> 1468950699 -0700

TBR: Update gocui & polish UI

Update to use a recent github.com/jroimartin/gocui library, and polish
the UI a little bit.

Change-Id: Id507e4307088aa7eb5b8c89c00c98cb76cfba436