Making codemirror resize in embedded sage cells

[Jason Grout]

Some of you have been changing the CSS on an embedded Sage cell to make
the cell grow with the content, rather than be a fixed 200px tall. I
just upgraded to CodeMirror 3.1, which changes how this is done. Now
the correct CSS to do this should be:

.CodeMirror {
height: auto;
min-height: 10ex; /* if wanted */
max-height: 60ex; /* if wanted */
}
.CodeMirror-scroll {
overflow-x: auto;
overflow-y: hidden;
}

Thanks,

Jason

[kcrisman]

Thanks.  Tedious, but thanks :) 

[Jason Grout]

There are some cool things we can do with CodeMirror 3. The upgrade and
pain is worth it.... :)

Jason

[kcrisman]

Well... it definitely made for a late night so that my notes still work.  It would have been helpful to have a little more lead time :) 

[Jason Grout]

Your notes should have still worked fine, but the text areas would have
been a fixed size instead of expandable.

Good point about the lead time, though. I'm at Sage Days and wanted to
push in some other changes too, but I could have held off on pushing
these changes to the public server. Sorry.

Thanks,

Jason

[kcrisman]

> Your notes should have still worked fine, but the text areas would have
> been a fixed size instead of expandable.

Yes, and a very annoyingly large fixed size it was! Hence the need to
revise quickly.

>
> Good point about the lead time, though.  I'm at Sage Days and wanted to
> push in some other changes too, but I could have held off on pushing
> these changes to the public server.  Sorry.

No problem; we are so thankful for sagecell.sagemath.org! Though I
have to say I am less sympathetic given the location of SD 46 [1]...
why can't my spring break have been now?

[1] http://wiki.sagemath.org/sagedays46

[Jason Grout]

On 2/27/13 8:49 AM, kcrisman wrote:

> No problem; we are so thankful for sagecell.sagemath.org! Though I
> have to say I am less sympathetic given the location of SD 46 [1]...
> why can't my spring break have been now?
>

Yes, the surf breaking out a few hundred yards from the balcony is very
disruptive to concentration. The Polynesian spear-throwing
fire-wielding guys might be more so this afternoon [1].

Jason

[1] http://www.polynesia.com/