|
From: | Benja Fallenstein |
Subject: | Re: [Gzz-commits] gzz ./TODO doc/pegboard/1017/PEG_1017.rst |
Date: | Wed, 16 Oct 2002 13:03:04 +0200 |
User-agent: | Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.1) Gecko/20020913 Debian/1.1-1 |
Asko Soukka wrote:
! Currently there is a default value for the depth attribute. If ! the new depth attribute is always obligatory the default value ! is never used. Should we add the new attribute by only overloading /! not replacing the current ''BFRaster.read()'' and make still ! possible to use the default value?
Hi Asko,if you want BFRaster.read() to be printed in a typewriter font, you need to enclose it in *backquotes* (``). Yes, I know they're annoying to type on Finnish (or German) keyboards :-(. I didn't design it... One possibility is to use a US keymap for most work. Another is to re-map some less-used key to make backquotes.
- Benja
[Prev in Thread] | Current Thread | [Next in Thread] |