Well, I think I figured this out. The file https://sagecell.sagemath.org/static/embedded_sagecell.js includes a lot of CSS, or code that generates CSS. Some of the CSS items are marked !important, which seems to mean I can't override them with local CSS code. One of these controls overflow in CodeMirror-scroll. (This seems to me to be a Very Bad Idea.) So I downloaded embedded_sagecell.js, modified it, and loaded the local version. Now the input cell works as I want...but the Evaluate button is now broken, because (I assume) it thinks my local server is also the sagecell server, so this is clearly not a solution. Did I mention that this design is a Very Bad Idea? Why shouldn't I be allowed to change the overflow policy with local CSS code?
And by the way, I would swear that my sagecells used to display the "full-screen" button, but it's missing. I don't care much, but is there an easy fix? I found some old posts talking about this, but it was allegedly fixed at that time. When I look at the page in the developer console, the "Inspector" thinks there is actually a button there (it outlines a reasonable size area on the page where the button should be) but no button image appears (and clicking where it supposedly is does nothing.) -- David On Friday, July 31, 2020 at 1:43:07 PM UTC-7, Andrey Novoseltsev wrote: > > You can use a button or keyboard to switch to full screen. If you want to > do it in a script, here is how it is handled in the code: > > https://github.com/sagemath/sagecell/blob/871feca21d0d522d726f7b31bd642172dcef4d3a/js/editor.js#L198 > > Otherwise the editor is a CodeMirror instance, so in theory you should be > able to set whatever properties you want on it, and our height indeed seems > to be set for CodeMirror-scroll, e.g. > https://github.com/sagemath/sagecell/blob/871feca21d0d522d726f7b31bd642172dcef4d3a/static/root.css#L43 > Maybe Rob Beezer may have some more input on cell adjustments. > > Best, > Andrey > -- You received this message because you are subscribed to the Google Groups "sage-cell" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-cell/d11f00b8-7d25-445c-9e04-20908a059d89o%40googlegroups.com.
