anchor.diff:      ],
     );
   }
  +
  +// ==================================================
  +// input
   
   Widget text_input(String value, InputValueCB cb, {
     num fontSize = FONT_SIZE + INPUT_EXTRA_SIZE,
  
positive.code:   );
  }
  
  Widget box(Widget w, {
    Color bg_color = Colors.white,
    num padLR = PADDING_SIZE,
  
negative.code:     padding: pad,
      onPressed: onPressed,
    );
  }
  
  // ==================================================
  // block
  
  Widget block(List<Widget> children) {
    return new Block(
        children: children,
    );
  }