# File hexja, line 903
  def getc
    if @undoBuffer.size == 0
      return @io.getc
    else
      return @undoBuffer.shift
    end
  end