width
AmmoniteFrontEnd FrontEnd JLineTerm FrontEndUtils ReplAPI