On 7/7/10 2:34 PM, David Sanders wrote:
Hi,
[Using 'Sage Version 4.4.4, Release Date: 2010-06-23' on Kubuntu
10.04]
I have just started using Sage, mainly using the notebook interface,
which on the whole is excellent and impressive!
I started out by trying the new interface "Cantor", which is very
nice, but I found it to be too unstable, for example it randomly
crashed several times when I pressed "Tab" in the wrong place.
But I liked its font, and especially its syntax highlighting. So the
question is: is it possible to change the font and to use syntax
highlighting in the standard (web browser) notebook interface? I
found a few discussions on sage-devel, but they are apparently old
(?). It seems to me that this is an important missing feature at the
moment (assuming I am not just not finding the correct check box!)
In the notebook, you can edit a file and get syntax highlighting. For
example, open a new worksheet, go to the Data menu, click "Upload or
create file", and type a name in the third box (for naming a new file).
An editor will then open up that has python syntax highlighting. The
hope is that eventually, we might use something like this for code
cells. However, as Mike says, speed is a primary concern. Another
primary concern is that the syntax highlighting uses a different kind of
input box that is typically way more buggy in browsers than the plain
text box we currently use. There are huge amounts of bug workarounds
for various browsers in the syntax highlighting program used above, for
example.
However, if the application (CodeMirror) that we use for syntax
highlighting above proves to be okay for cells, there are *lots* more
cool things that we can do beyond just changing fonts and syntax
highlighting.
By the way, it's straightforward to change the fonts in the input boxes.
I'm not sure of the exact code, but you just have to find out what CSS
variable controls the font inside text area boxes and change that. It
should be something like one line that you can execute inside a Sage
cell to change the font.
Thanks,
Jason
--
To post to this group, send email to sage-support@googlegroups.com
To unsubscribe from this group, send email to
sage-support+unsubscr...@googlegroups.com
For more options, visit this group at
http://groups.google.com/group/sage-support
URL: http://www.sagemath.org
