From a7e5d545435026277493c02587e9a89d2f1bc2b2 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Fri, 29 Aug 2008 14:06:21 +0000 Subject: [PATCH] svn: r11482 --- collects/scribblings/drscheme/prefs.scrbl | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/collects/scribblings/drscheme/prefs.scrbl b/collects/scribblings/drscheme/prefs.scrbl index 5bd304e32b..f81515365b 100644 --- a/collects/scribblings/drscheme/prefs.scrbl +++ b/collects/scribblings/drscheme/prefs.scrbl @@ -122,6 +122,12 @@ The preferences dialog consists of several panels. right of the definitions window. By default, the interactions window is below the definitions window.} +@item{@PrefItem{Always show the #lang lin in the Module language} -- + If checked, the module language always shows the the @tt{#lang} + line (even when it would ordinarily be scrolled off of the page), assuming + that the @tt{#lang} line is the first line in the file. +} + }} @item{@onscreen{Scheme}