change of screensize ignored

[Martin Kortmann]

Hello Arjan,

Arjan van de Ven schrieb:
> Martin Kortmann wrote:
>> Hi,
>>
>> The current display implementation ignores screensize changes.
>>
> 
> hmm. At minimum it should detect such a change every refresh (it does
> here)..... doesn't it do even that for you?

No it doesn't. There are four random reactions on screensize changes:
1. It ignores the change
2. It changes the width of the two highlighted lines, but
   not the count of event lines (screenheight)
3. It simply sleeps and stops refreshing the screen
4. It crashed with memory fault.

> 
> Greetings,
>     Arjan van de Ven


Martin