| From: Eli Barzilay (eli at barzilay.org) Date: Wed Nov 19 22:06:31 EST 2008 |
|
![[logo]](/logo.png){kind=logo}
On Nov 20, Andrew Reilly wrote:
>
> OK: feedback. Is it possible to unwire the #lang line, even if
> only as a configuration option? I'd choose an extra line of
> real source code, if I had a choice. I looked in the "choose
> language..." dialog, but couldn't see an obvious switch.
Preferences -> Editing -> General -> "Always show #lang line".
--
((lambda (x) (x x)) (lambda (x) (x x))) Eli Barzilay:
http://www.barzilay.org/ Maze is Life!
| Posted on the users mailing list. |
|