>>>>> "Juergen" == Juergen Spitzmueller <[EMAIL PROTECTED]> writes:
Juergen> Jean-Marc Lasgouttes wrote: >> The situation now is that we have a 10 pixels left margin for the >> change bar Juergen> Which is too small IMO. This is a different problem :) I think it is too small because our change bars are so fat and ugly. JMarc