protected void DoPageDown()
{
UnityEngine.TextEditor editor = GetWidgetController();
// Seems to be no way to move more than one line at
// a time - so have to do this:
int pos = Math.Min(editor.pos, contents.Length - 1);
int rows = ((int)innerCoords.height) / FONT_HEIGHT;
while (rows > 0 && pos < contents.Length)
{
if (contents[pos] == '\n')
{
rows--;
}
pos++;
editor.MoveRight(); // there is a MoveDown but it doesn't work.
}
}