[plt-scheme] DrScheme configuration questions
Eli Barzilay <eli at barzilay.org> said:
> For list-related administrative tasks:
> http://list.cs.brown.edu/mailman/listinfo/plt-scheme
>
> [fourth attempt at mailing, sorry if more than two get through.]
>
> 1. Is there an easy way to change the default settings? -- I have a
> (read-case-sensitive #t)
> in my language, which seems to have an effect on using it in
> DrScheme too - but this is not reflected in the language settings.
The settings in the language dialog only reflect the initial
language you will get when you next click execute, not the
current ones in the user's language.
> 2. Is it possible to change the printer manually? I saw that the
> three output syntaxes are pretty much hard-wired in. (The best
> solution, IMO, is to use what MzScheme gives you in anycase, and
> have a fourth output style which should be the default for
> non-learning languages, which will use the user's `current-print'
> parameter value. This way, a single point is needed to change the
> output.)
That's a good idea. I'll do that.
> 3. Is there an easy interface to have a language category so you get a
> tree of selections in the language select dialog rather than
> seperate lines?
Are you asking about adding your own new languages? I'm not sure that I
quite understand the question. Right now, when someone (typically
a tool, although there are a few languages built in to DrScheme
that aren't added by tools) adds a language they specify a list of
strings that stands for a path in a tree to the language. The first
elements of the list of strings are interior nodes in the tree
on the left-hand side of the language dialog and the last strings
are leaf nodes in that tree.
Robby