On Aug 9, 12:43 pm, I wrote: > Even more modestly, a "save and keep editing" button. ... which is exactly what the save and cancel buttons seem to do on the flask sagenb on sagenb.org. Sigh ... time to upgrade, I guess. Only gripes remaining:
* Let the editor frame be tall enough to display all lines. The scroll bar of the browser will take care of scrolling. (see http://codemirror.net/demo/resize.html) * Save cursor position so that clicking the "save" button doesn't make you jump to the top of the file. -- -- To post to this group, send an email to [email protected] To unsubscribe from this group, send an email to [email protected] For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
