Has there been any progress on this?
http://www.mail-archive.com/sage-s...@googlegroups.com/msg03975.html
One of the often heard comments from lecturers is that they
are wasting time on basic syntax, when students mismatch
parenthesis. In the simplest instance, when a closing ] or )
is typed it helps to highlight the correct (nested or not)
matching left one.
regards,
Jan
--
.~.
/V\ Jan Groenewald
/( )\ www.aims.ac.za
^^-^^
I've added that to this list
http://wiki.sagemath.org/SageUsability
William
What about changing it for half a second or so to some character, like
&? In a sense, think of it as highlighting. So when you cursor over a
closing parenthesis, the opening one changes briefly to an & to let you
know where it is.
This might be a horrible idea---I'm just throwing it out there in the
interest of brainstorming.
That said, I would *really* like to eventually support the
"franken-divs". That would open up lots and lots of possibilities. I
know we've tried various content-editable divs for text cells
unsuccessfully. Maybe our own very-lightweight solution would be best.
How do you see BeSpin changing things? Isn't that pretty heavy-weight?
Jason
On Fri, Sep 11, 2009 at 12:36:00PM -0500, Jason Grout wrote:
>I'm just throwing it out there in the
> interest of brainstorming.
Two more ideas:
1. a by default OFF feature, which can somewhere be set to
on, to prevent the CPU/RAM problems. Probably will trip up
inexperienced users who will leave it on though.
2. a completely non-automatic feature, which only runs once
when you click somwhere, "check parenthesis", which then checks
all or perhaps selected cells.
I have no idea how feasible these are.
Indeed! I just opened up 6 TinyMCE instances (which are exactly these
"franken-divs" that we are talking about), and things seemed pretty
snappy still. There was a CPU spike when the TinyMCE initialized, but
input seemed very responsive. Keep in mind that only one of these
content-editable divs will be changing at a time.
Why would having more than one content-editable div increase the memory
that much? Presumably there is a global shared library of javascript
functions that provide all the actual guts of the editing, so there
won't be that much memory needed to instantiate any single editor.
Jason