You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I haven't been able to find on google, stack overflow, the documentation how to simply enter a cell of type text (as opposed to a formula cell). There doesn't seem to be a menu in the django interface to select the type of cell. These are useful to add headings and comments to notebooks.
Does Mathics support creating text cells in the django interface? Is there a special key combination to do this? If so, where is that explained in any of the documentation? Thanks.
I tried Alt+7, but that activated another browser tab because Alt [1-9] are all shortcuts to the numbered tabs. I'm not sure if there's a way to turn that off. I looked over the browser settings and didn't find a way.
The text was updated successfully, but these errors were encountered:
I don't think this is possible now, but you can add comments like this: (* this is a comment *)
Yes it isn't possible now. There is quite a bit still to be done boxing and formatting before we could be able to support Cells (and more generally notebooks and interfacing with Jupyter).
We are starting to work on this now, but we have very few people working on this. If this is something you are interested in seeing done and want to dig in, feel free to do so!
I haven't been able to find on google, stack overflow, the documentation how to simply enter a cell of type text (as opposed to a formula cell). There doesn't seem to be a menu in the django interface to select the type of cell. These are useful to add headings and comments to notebooks.
Does Mathics support creating text cells in the django interface? Is there a special key combination to do this? If so, where is that explained in any of the documentation? Thanks.
I tried Alt+7, but that activated another browser tab because Alt [1-9] are all shortcuts to the numbered tabs. I'm not sure if there's a way to turn that off. I looked over the browser settings and didn't find a way.
The text was updated successfully, but these errors were encountered: