def nextline(self):  # physical line
     line = self.peek
     if line != "\n":
         line = line + App.readline(self)  # '' on eof
     self.peek = self.read(1)
     return line