# File hexja, line 972
  def ungets(a)
    @undoBuffer = a + @undoBuffer
  end