| commit | cf61ee1f66a0b771bb9b9a9802fc5b2b65e249f7 | [log] [tgz] |
|---|---|---|
| author | Shawn Pearce <sop@google.com> | Tue Aug 27 17:20:44 2013 -0700 |
| committer | Shawn Pearce <sop@google.com> | Tue Aug 27 17:20:44 2013 -0700 |
| tree | 20b21f3472b1a9ffd7e603c124224071a88b1d44 | |
| parent | f57c0e7459f14803d3af0e51211f2f1ded77cc5e [diff] |
Use #/settings in user popdown panel Instead of linking to /settings which causes a GWT UI reload, use #/settings allowing the UI to be replaced. This fixes a visible glitch when clicking Settings in debug mode and Buck is kicked off to update the JS code, and even in production installations when the server is far away from the user. Change-Id: I0c57d6d93eaf9f102ad78e362cbbada1785853e4