Do we want to manually resize an ACE editor? about rcloud HOT 2 CLOSED

I think so, but it's a low-priority enhancement now that we have decent sizing, right?

The reason this is not trivial is that it introduces extra state: do we want the size to be persistent across executions (yes, presumably). But this means we need to save this extra information somewhere in the notebook, and we have no support for it right now.

It would be generally a good idea to have a field in the notebook that stores this kind of metadata (an arbitrary json object would be simple and sufficient). But until we do that, let's defer on storing anything else besides the content of the cells.

On Jul 31, 2013, at 1:29 PM, SMS Chauhan [email protected] wrote:

Jim suggested that this would be nice to have, resizable editor using a mouse drag.

—
Reply to this email directly or view it on GitHub.

from rcloud.

Prioritizing. Open again if too annoying.

from rcloud.