anchor.diff:  // All rights reserved. Use of this source code is governed by a BSD-style
   // license that can be found in the LICENSE file.
   
  -library spark;
  +library spark_polymer;
   
   import 'dart:html';
   import 'package:polymer/polymer.dart' as polymer;
  
positive.code:   }
  
    @override
    void buildMenu() {
      // TODO: Implement this.
    }
  
    void _switchTheme([_]) {
      int selected =
  
negative.code: class SparkPolymer extends Spark {
    SparkPolymer(bool developerMode) : super(developerMode);
  
    //
    // Override some parts of the parent's ctor:
    //
  
    @override
    void initAnalytics() => super.initAnalytics();
  
    @override
    void initWorkspace() => super.initWorkspace();
  
    @override
    void initEditor() => super.initEditor();
  
    @override
    void initEditorManager() => super.initEditorManager();
  
    @override
    void initEditorArea() => super.initEditorArea();
  
    @override
    void initSplitView() {
      // We're using a Polymer-based splitview, so disable the default.
    }
  
    @override
    void initEditorThemes() {
      syncPrefs.getValue('aceTheme').then((String theme) {
        final selected = (theme != null) ? AceEditor.THEMES.indexOf(theme) : 0;
  
  