From: tomasfrydrych@yahoo.co.uk
Date: Wed Sep 24 2003 - 08:29:59 EDT
Hi Martin,
> So everyone, should we put in the #ifdef 0 code?
I do not like this suggestion at all -- it means that every time there is 
some formatting change we will add a whole bunch of strings to the 
PT. Imagine you repeatedly pres Ctrl+B, everytime you do so you will 
add a new set of strings, so that even if at the end the state of the 
formatting is the same it was to start with, the PT grew.
Tomas
This archive was generated by hypermail 2.1.4 : Wed Sep 24 2003 - 08:45:15 EDT