On Sat, 21 Jan 2012 at 10:46PM -0800, William Stein wrote: > On Android 3.2 (not 2.3!) sliders work perfectly for me. However, the > codemirror (2?) editor is bad on my 3.2 device, compared to the standard > sagenb textarea. Cursor positioning, cut/paste, etc. are all very > painful.
I had the same experience, but I'm not very good at text editing in Android, so I'm not sure if I it was just my poor knowledge of text editing things. > On both I got a syntax error if I don't add a spurious newline at the end > of the input - what's up with that? I got some syntax errors, but I'm not sure if it was the newline at the end that fixed it. Dan -- --- Dan Drake ----- http://mathsci.kaist.ac.kr/~drake -------
signature.asc
Description: Digital signature