private static void MakeRoom()
{
if (length >= buffer.Length) {
char[] newBuffer = new char[buffer.Length * 2];
byte[] newWidths = new byte[buffer.Length * 2];
Array.Copy(buffer, 0, newBuffer, 0, buffer.Length);
Array.Copy(widths, 0, newWidths, 0, buffer.Length);
}
}