From: "Paul Derbyshire" Newsgroups: comp.os.msdos.djgpp References: Subject: Re: RHIDE and W95 Lines: 24 Organization: The Chaos Zone MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: 7bit Message-ID: Date: Mon, 13 Apr 1998 20:13:41 GMT NNTP-Posting-Host: 206.172.244.8 NNTP-Posting-Date: Mon, 13 Apr 1998 16:13:41 EST To: djgpp AT delorie DOT com DJ-Gateway: from newsgroup comp.os.msdos.djgpp Precedence: bulk SET wrote: >Hmmm... I think it can be configured in some .ini or similar file. Is possible >because some of the fonts are TT. I have no clue what font it even uses, since it doesn't say. The DOS box font settings include size characteristics...but no font name. It resembles system or some other dinky fixed-width one though. (.ini? I thought W95 did everything with those funky registry keys... I ran a registry monitor, though, and when I opened a dos box and diddled the font nothing happened to the registry, not even when I exited, forcing it to save the changes, wherever it does that. I suspect it uses a .pif... which is, woe of woes, a crufty proprietary binary format with no known real bit-twiddle-level editors.) -- .*. "Clouds are not spheres, mountains are not cones, coastlines are not -() < circles, and bark is not smooth, nor does lightning travel in a `*' straight line." ------------------------------------------------ -- B. Mandelbrot | Paul Derbyshire (PGD) ao950 AT freenet DOT carleton DOT ca ______________________ ____|_____________ pderbysh AT usa DOT net Programmer & Humanist | ICQ: 10423848 | http://chat.carleton.ca/~pderbysh