Fix what appears to be a very old bug. Tkinter in struni is more intolerant

of non-existant text widget 'marks', it seems.