tree 19fefe06a9302fb6725a2c8497b5a3415e1e4a8d
parent 74c87182cf98e2fea4067274649f68bf6be21ede
author Andrew Gerrand <adg@golang.org> 1460004748 +1000
committer Andrew Gerrand <adg@golang.org> 1460007428 +0000

app: simplify embedded view

When embedded in a web page, hide the top banner
and add a new "Run" button in the top right.

Fixes golang/go#15163

Change-Id: I56887cd0e9f63588a92523836c77b00a45713cfb
Reviewed-on: https://go-review.googlesource.com/21643
Reviewed-by: Chris Broadfoot <cbro@golang.org>