[plt-dev] language dialog, some minor changes & bugfixes

From: Eli Barzilay (eli at barzilay.org)
Date: Fri Jan 29 16:36:13 EST 2010

On Jan 29, Robby Findler wrote:
> On Fri, Jan 29, 2010 at 2:11 PM, Eli Barzilay <eli at barzilay.org> wrote:
> > On Jan 29, Robby Findler wrote:
> >> On Thu, Jan 28, 2010 at 11:32 PM, Eli Barzilay <eli at barzilay.org> wrote:
> >> > But I think that "typically" should be removed.
> >>
> >> Gone.
> >>
> >> > * The "#lang" in "Typically, a #lang line ..." is biger than the
> >> >  surrounding text.
> >>
> >> They are now the same point size, namely the point size of the
> >> small-control-font.
> >
> > But now everything looks small like a comment, maybe have it all
> > bigger, but uniformly so?
> I picked the size of small-control-font because I wanted it to be
> the size that is defined to be "slightly smaller than the font used
> in most controls". Are you objecting to that characterization of the
> size, or do you perhaps just need to set your mred preferences so
> that size is meaningful for your setup?

IIUC, then I think that I'd rather go with the "same font size".

> > * When the module language radio is selected, the hierlist should have
> >  no selection.
> Yes, that was what I meant by the bug in my initial message and its
> still not fixed.

Ah, OK.

> >> - the pop down menu item below the interactions window now says
> >> "Determine language from source" instead of "Module"
> >
> > [I can see why you thought that it should show few of the lasst
> > successful `#lang' lines...  It doesn't go too well with the other
> > choices in that menu.]
> Yes, but the simple thing is much simpler. :)

Yes, I'm sure...  This will probably turn up sooner or later when
everything is Module-ized.  Also, the piece of code that I wrote
should make it easy to just pull out the string that is the language
specification, and use that as the history of languages thing.  There
will probably need to be some more there, like if you change the
language using that, then it should also change the default `#lang'
line that is inserted on new buffers.  [And that leads to what Matthew
posted, so I'll continnue there...]

          ((lambda (x) (x x)) (lambda (x) (x x)))          Eli Barzilay:
                    http://barzilay.org/                   Maze is Life!

Posted on the dev mailing list.