On Fri, 2007-07-27 at 02:01 +0200, Pavel Sanda wrote: > > > Sorry, Pavel. I cannot understand it. I tested it three times, some hours > > > ago, > > > > no problem, this is not the only bug which is difficult to pinpoint and > > appears > > only randomly. if you find some way how to reproduce it later post it again > > :) > > bah, experimenting with tabs i came to very strange behaviour :( > > 1.open one document > 2.new document > 3.switch to first one and type one letter somewhere inside > > now - instead normal character there appears VERY big character (even in > latex output). > without switching between tabs nothing like this happens. > can anybody reproduce it ?
Just thought I'd ask the obvious. What OS are you all running :) I've never seen this. Have fun, Darren
