Set the value of options("width") on terminal emulators