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
-------

Attachment: signature.asc
Description: Digital signature

Reply via email to