[jed-users] refresh function

[frank <y199mp1505@xxxxxxxxx>]

My Ubuntu 14.04 starts with 'nomodeset' in the kernel line. That's not 
going to change.

It has, however, a disturbing side effect when switching from the 
desktop to the Linux console, say ctrl-alt-f1.

Assume, in the tty jed is running. Switching there from the desktop 
garbles the screen. Exiting jed does not help, I have to log out 
(ctrl-d) and log in again to clean up the mess.

It is not a jed problem, mind you. But what about a little sl-function 
that would do the cleaning from inside jed? Call it refresh or whatever.

Help would be appreciated. Thanks.


frank


_______________________________________________
For list information, visit <http://jedsoft.org/jed/mailinglists.html>.