public void Val_from_args(Hash_adp args) {
   throw Err_.new_unimplemented();
 }
 public void ScrollTillCaretIsVisible() {
   throw Err_.new_unimplemented();
 }