Re: [PATCH] make right margin smaller

2006-07-07 Thread Juergen Spitzmueller
Jean-Marc Lasgouttes wrote: > This is a different problem :) Yes and no. > I think it is too small because our > change bars are so fat and ugly. While this is true, I think the current border is just too small anyway. I think a bit more borders would enhance screen readability. I'd opt for 20

Re: [PATCH] make right margin smaller

2006-07-07 Thread Jean-Marc Lasgouttes
> "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 b

Re: [PATCH] make right margin smaller

2006-07-07 Thread Juergen Spitzmueller
Jean-Marc Lasgouttes wrote: > The situation now is that we have a 10 pixels left margin for the > change bar Which is too small IMO. Jürgen

Re: [PATCH] make right margin smaller

2006-07-07 Thread Jean-Marc Lasgouttes
> "Jean-Marc" == Jean-Marc Lasgouttes <[EMAIL PROTECTED]> writes: Jean-Marc> I plan to apply the following trivial patch to branch and Jean-Marc> trunk tomorrow. Any objection? Jean-Marc> I think that Lars forgot to reduce the right margin when he Jean-Marc> did redice the left margin of docu

Re: [PATCH] make right margin smaller

2006-07-07 Thread Jean-Marc Lasgouttes
> "Michael" == Michael Gerz <[EMAIL PROTECTED]> writes: Michael> Georg Baum wrote: >>> Hmm left marging should be smaller than right margin >>> Michael> Please note that we need some space for the change tracking Michael> bar! The situation now is that we have a 10 pixels left margin for the

Re: [PATCH] make right margin smaller

2006-07-06 Thread Michael Gerz
Georg Baum wrote: Hmm left marging should be smaller than right margin Please note that we need some space for the change tracking bar! Michael

Re: [PATCH] make right margin smaller

2006-07-06 Thread Georg Baum
Lars Gullik Bjønnes wrote: > Hmm left marging should be smaller than right margin. Why? Georg

Re: [PATCH] make right margin smaller

2006-07-06 Thread Lars Gullik Bjønnes
Jean-Marc Lasgouttes <[EMAIL PROTECTED]> writes: | I plan to apply the following trivial patch to branch and trunk | tomorrow. Any objection? | | I think that Lars forgot to reduce the right margin when he did redice | the left margin of documents. Hmm left marging should be smaller than right m

[PATCH] make right margin smaller

2006-07-06 Thread Jean-Marc Lasgouttes
I plan to apply the following trivial patch to branch and trunk tomorrow. Any objection? I think that Lars forgot to reduce the right margin when he did redice the left margin of documents. JMarc Index: src/rowpainter.h === --- src