From d55fdaa65ed1ca2e00c0c5c9a5dd29b9ef009b0d Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Fri, 29 Aug 2008 16:12:12 +0000 Subject: [PATCH] svn: r11483 --- collects/scribblings/drscheme/prefs.scrbl | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/collects/scribblings/drscheme/prefs.scrbl b/collects/scribblings/drscheme/prefs.scrbl index f81515365b..43e6c73610 100644 --- a/collects/scribblings/drscheme/prefs.scrbl +++ b/collects/scribblings/drscheme/prefs.scrbl @@ -122,10 +122,10 @@ 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} +@item{@PrefItem{Always show the #lang line in the Module language} -- + If checked, the module language always shows the the @hash-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. + that the @hash-lang[] line is the first line in the file. } }}