width
AmmoniteFrontEnd
FrontEndUtils
JLineTerm