- From: Tobie Langel <tobie@w3.org>
- Date: Fri, 18 Oct 2013 15:03:23 +0200
- To: Robin Berjon <robin@w3.org>
- Cc: "spec-prod@w3.org" <spec-prod@w3.org>
On Friday, October 18, 2013 at 2:19 PM, Robin Berjon wrote: > • The most user-visible change is that there is now a UI in the top > right corner. It features a button that when pressed shows a drop-down > menu of things that can be done. Right now that list is limited but the > modules that implement the functionality in the drop-down are loaded > lazily which means that we can add functionality there without worrying > about code size (notably linting). No drop-down for me on http://coremob.github.io/coremob-2012/ on Chrome. --tobie
Received on Friday, 18 October 2013 13:02:20 UTC