anchor.diff:      });
     }
   
  +  bool _autorefresh = false;
  +  void _handleAutorefreshChanged(bool value) {
  +    setState(() {
  +      _autorefresh = value;
  +    });
  +  }
  +
  +  StockMode _stockMode = StockMode.Optimistic;
  +  void _handleStockModeChange(StockMode value) {
  +    setState(() {
  +      _stockMode = value;
  +    });
  +  }
  +
  +  static FlexBoxParentData _flex1 = new FlexBoxParentData()..flex = 1;
  +
     Drawer buildDrawer() {
       return new Drawer(
         controller: _drawerController,
  
positive.code:       children: [
          new DrawerHeader(children: [new Text('Stocks')]),
          new MenuItem(
            key: 'Inbox',
            icon: 'content/inbox',
            children: [new Text('Inbox')]),
          new MenuDivider(),
          new MenuItem(
            key: 'Drafts',
            icon: 'content/drafts',
            children: [new Text('Drafts')]),
          new MenuItem(
            key: 'Settings',
            icon: 'action/settings',
  
negative.code: 
  const bool debug = false; // set to true to dump the DOM for debugging purposes
  
  enum StockMode { Optimistic, Pessimistic }
  
  class StocksApp extends App {
  
    static final Style _actionBarStyle = new Style('''
  