[sage-devel] Re: Trac editor sucks

2013-10-06 Thread Jean-Pierre Flori
Same happens to me with firefox, not sure which version as I often switch computers. Really annoying indeed. On Saturday, October 5, 2013 8:45:09 PM UTC+2, Simon King wrote: > > Hi! > > I just tested: If I scroll up to see the blob, after the jump has > occurred, and then scroll down to continu

[sage-devel] Re: Trac editor sucks

2013-10-05 Thread Simon King
Hi! I just tested: If I scroll up to see the blob, after the jump has occurred, and then scroll down to continue writing, the next jump is not as severe (I could still see what I type), but there still were jumps after seeing the blob. Best regards, Simon -- You received this message because y

[sage-devel] Re: Trac editor sucks

2013-10-05 Thread Simon King
Hi Peter, hi Volker, Am Samstag, 5. Oktober 2013 19:00:46 UTC+2 schrieb Peter Bruin: > > > I have the same problem from time to time (I use both Firefox and Chrome; > I _think_ it only occurs with Chrome for me). > > Interesting. So, one of us sees the problem with Firefox (I), one of us sees it

[sage-devel] Re: Trac editor sucks

2013-10-05 Thread Peter Bruin
Hello, Or more precisely, I find it extremely annoying that *while* I'm typing > the browser suddenly jumps to a totally unrelated location of the page, > so that I have to choose between typing blindly and "scroll back to the > text window for a few seconds until it jumps off again". > I have

[sage-devel] Re: Trac editor sucks

2013-10-05 Thread Simon King
Hi Volker, On 2013-10-05, Volker Braun wrote: > --=_Part_3_5808035.1380967883303 > Content-Type: text/plain; charset=ISO-8859-1 > > I've never seen this happen, but then I'm using chrome to browse trac. But > I would speculate that this is due to the patchbot coloured blob appearing? > When

[sage-devel] Re: Trac editor sucks

2013-10-05 Thread Volker Braun
I've never seen this happen, but then I'm using chrome to browse trac. But I would speculate that this is due to the patchbot coloured blob appearing? When it happens, do you scroll that far up that you can see it? On Saturday, October 5, 2013 9:06:27 AM UTC+1, Simon King wrote: > > Hi! > > I