added gundo and scrolloff