Method get_screen_size

pye_pydos.py:45–55

(self)

            pass

    def get_screen_size(self):
        if Pydos_ui:
            return [i for i in Pydos_ui.get_screensize()]
        else:
            self.wr('\x1b[999;999H\x1b[6n')
            pos = ''
            char = self.rd() ## expect ESC[yyy;xxxR
            while char != 'R':
                pos += char
                char = self.rd()
            return [int(i, 10) for i in pos.lstrip("\n\x1b[").split(';')]

## test, if the Editor class is already present
if "pye_edit" not in globals().keys():