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