anchor.diff:      ],
     );
   }
  +
  +// ==================================================
  +// input
   
   Widget text_input(String value, InputValueCB cb, {
     num fontSize = FONT_SIZE + INPUT_EXTRA_SIZE,
  
positive.code:   );
  }
  
  Widget text(String value, {
    num fontSize = FONT_SIZE,
    Color color = TEXT_COLOR,
  
negative.code:   );
  }
  
  // ==================================================
  // button
  
  Widget icon_btn(IconData icon, VoidCallback onPressed, {
    EdgeInsets pad = EdgeInsets.zero,
  