Re: [PATCH] Spacing Metrics

2007-12-26 Thread Jürgen Spitzmüller
rgheck wrote: At least we can apply the following (makes protected space look like normal space, except for the color). Fine with me. done. Jürgen

Re: [PATCH] Spacing Metrics

2007-12-26 Thread Jürgen Spitzmüller
rgheck wrote: > > At least we can apply the following (makes protected space look like > > normal space, except for the color). > > Fine with me. done. Jürgen

Re: [PATCH] Spacing Metrics

2007-12-24 Thread Jürgen Spitzmüller
rgheck wrote: This must be something weird about your fonts. A normal space is the width of, uh, a normal space and a thin space is 1/6 the width of an 'M'. Thus: Well, the difference is smaller than before. These look pretty different. But we could change the color, too, if you wanted. At

Re: [PATCH] Spacing Metrics

2007-12-24 Thread rgheck
Jürgen Spitzmüller wrote: rgheck wrote: This must be something weird about your fonts. A normal space is the width of, uh, a normal space and a thin space is 1/6 the width of an 'M'. Thus: Well, the difference is smaller than before. These look pretty different. But we could

Re: [PATCH] Spacing Metrics

2007-12-24 Thread Jürgen Spitzmüller
rgheck wrote: > This must be something weird about your fonts. A normal space is the > width of, uh, a normal space and a thin space is 1/6 the width of an > 'M'. Thus: Well, the difference is smaller than before. > These look pretty different. But we could change the color, too, if you >

Re: [PATCH] Spacing Metrics

2007-12-24 Thread rgheck
Jürgen Spitzmüller wrote: rgheck wrote: This must be something weird about your fonts. A normal space is the width of, uh, a normal space and a thin space is 1/6 the width of an 'M'. Thus: Well, the difference is smaller than before. These look pretty different. But we could

Re: [PATCH] Spacing Metrics

2007-12-23 Thread rgheck
Jürgen Spitzmüller wrote: rgheck wrote: I've made the spaces match this, more or less, using width(char_type('M')) for the em size. Now that I see it, I have to say that I do not really like it. It might be more WYSIWYG, but at the cost of MYSIWYM. The two most frequently used spaces

Re: [PATCH] Spacing Metrics

2007-12-23 Thread rgheck
Jürgen Spitzmüller wrote: rgheck wrote: I've made the spaces match this, more or less, using width(char_type('M')) for the em size. Now that I see it, I have to say that I do not really like it. It might be more WYSIWYG, but at the cost of MYSIWYM. The two most frequently used spaces

Re: [PATCH] Spacing Metrics

2007-12-22 Thread Jürgen Spitzmüller
rgheck wrote: I've made the spaces match this, more or less, using width(char_type('M')) for the em size. Now that I see it, I have to say that I do not really like it. It might be more WYSIWYG, but at the cost of MYSIWYM. The two most frequently used spaces (by me), thinspace and

Re: [PATCH] Spacing Metrics

2007-12-22 Thread Jürgen Spitzmüller
rgheck wrote: > I've made the spaces match this, more or less, using > width(char_type('M')) for the em size. Now that I see it, I have to say that I do not really like it. It might be more WYSIWYG, but at the cost of MYSIWYM. The two most frequently used spaces (by me), thinspace and

Re: [PATCH] Spacing Metrics

2007-12-21 Thread Jürgen Spitzmüller
rgheck wrote: Can we find out how big an em is? An em is exactly the font size. So for a 10pt font, 1 em = 10 pt. Roughly, it also matches the width of the letter M. Jürgen

Re: [PATCH] Spacing Metrics

2007-12-21 Thread Jean-Marc Lasgouttes
rgheck [EMAIL PROTECTED] writes: No, I doubt they're really right, but they look better than what we had, which fixes the width of a quad e.g. independently of the font size. So: Can we find out how big an em is? Is there some fixed relationship between the size of an em and the size of an

Re: [PATCH] Spacing Metrics

2007-12-21 Thread Jürgen Spitzmüller
rgheck wrote: Jurgen, would you want it for branch? Yes. Jürgen

Re: [PATCH] Spacing Metrics

2007-12-21 Thread Jürgen Spitzmüller
Jean-Marc Lasgouttes wrote: You can take the width of the 'm' letter, which was the original definition. 'M' (capital), for that matter. However, this never was the original definition. The original definition refers to the height of the body (the metal block of the letter). I read

Re: [PATCH] Spacing Metrics

2007-12-21 Thread rgheck
Enrico Forestieri wrote: This doesn't seem to be correct. Here is how those spaces are defined in LaTeX: \def\enspace{\kern.5em } \def\enskip{\hskip.5em\relax} \def\quad{\hskip1em\relax} \def\qquad{\hskip2em\relax} I've made the spaces match this, more or less, using width(char_type('M'))

Re: [PATCH] Spacing Metrics

2007-12-21 Thread Jürgen Spitzmüller
rgheck wrote: > Can we find out how big an em is? An em is exactly the font size. So for a 10pt font, 1 em = 10 pt. Roughly, it also matches the width of the letter "M". Jürgen

Re: [PATCH] Spacing Metrics

2007-12-21 Thread Jean-Marc Lasgouttes
rgheck <[EMAIL PROTECTED]> writes: > No, I doubt they're really right, but they look better than what we > had, which fixes the width of a quad e.g. independently of the font > size. So: Can we find out how big an em is? Is there some fixed > relationship between the size of an em and the size of

Re: [PATCH] Spacing Metrics

2007-12-21 Thread Jürgen Spitzmüller
rgheck wrote: > Jurgen, would you want it for branch? Yes. Jürgen

Re: [PATCH] Spacing Metrics

2007-12-21 Thread Jürgen Spitzmüller
Jean-Marc Lasgouttes wrote: > You can take the width of the 'm' letter, which was the original > definition. 'M' (capital), for that matter. However, this never was the original definition. The original definition refers to the height of the body (the metal block of the letter). > I read

Re: [PATCH] Spacing Metrics

2007-12-21 Thread rgheck
Enrico Forestieri wrote: This doesn't seem to be correct. Here is how those spaces are defined in LaTeX: \def\enspace{\kern.5em } \def\enskip{\hskip.5em\relax} \def\quad{\hskip1em\relax} \def\qquad{\hskip2em\relax} I've made the spaces match this, more or less, using width(char_type('M'))

[PATCH] Spacing Metrics

2007-12-20 Thread rgheck
Attached is a simple-minded patch that adjusts the display size of some spaces in LyX. This makes the interword and protected spaces the same size as a normal space rather than the same size as an x, which in my default screen fonts looks too big. I've also adjusted the size of the quad,

Re: [PATCH] Spacing Metrics

2007-12-20 Thread Peter Kümmel
rgheck wrote: Attached is a simple-minded patch that adjusts the display size of some spaces in LyX. This makes the interword and protected spaces the same size as a normal space rather than the same size as an x, which in my default screen fonts looks too big. I've also adjusted the size of

[PATCH] Spacing Metrics

2007-12-20 Thread rgheck
Forgot another one. Attached is a simple-minded patch that adjusts the display size of some spaces in LyX. This makes the interword and protected spaces the same size as a normal space rather than the same size as an x, which in my default screen fonts looks too big. I've also adjusted the size

Re: [PATCH] Spacing Metrics

2007-12-20 Thread Enrico Forestieri
On Thu, Dec 20, 2007 at 02:33:54PM -0500, rgheck wrote: Forgot another one. Attached is a simple-minded patch that adjusts the display size of some spaces in LyX. This makes the interword and protected spaces the same size as a normal space rather than the same size as an x, which in my

Re: [PATCH] Spacing Metrics

2007-12-20 Thread rgheck
Enrico Forestieri wrote: On Thu, Dec 20, 2007 at 02:33:54PM -0500, rgheck wrote: Forgot another one. Attached is a simple-minded patch that adjusts the display size of some spaces in LyX. This makes the interword and protected spaces the same size as a normal space rather than the same

[PATCH] Spacing Metrics

2007-12-20 Thread rgheck
Attached is a simple-minded patch that adjusts the display size of some spaces in LyX. This makes the interword and protected spaces the same size as a normal space rather than the same size as an "x", which in my default screen fonts looks too big. I've also adjusted the size of the quad,

Re: [PATCH] Spacing Metrics

2007-12-20 Thread Peter Kümmel
rgheck wrote: Attached is a simple-minded patch that adjusts the display size of some spaces in LyX. This makes the interword and protected spaces the same size as a normal space rather than the same size as an "x", which in my default screen fonts looks too big. I've also adjusted the size

[PATCH] Spacing Metrics

2007-12-20 Thread rgheck
Forgot another one. Attached is a simple-minded patch that adjusts the display size of some spaces in LyX. This makes the interword and protected spaces the same size as a normal space rather than the same size as an "x", which in my default screen fonts looks too big. I've also adjusted the

Re: [PATCH] Spacing Metrics

2007-12-20 Thread Enrico Forestieri
On Thu, Dec 20, 2007 at 02:33:54PM -0500, rgheck wrote: > > Forgot another one. > > Attached is a simple-minded patch that adjusts the display size of some > spaces in LyX. This makes the interword and protected spaces the same > size as a normal space rather than the same size as an "x", which

Re: [PATCH] Spacing Metrics

2007-12-20 Thread rgheck
Enrico Forestieri wrote: On Thu, Dec 20, 2007 at 02:33:54PM -0500, rgheck wrote: Forgot another one. Attached is a simple-minded patch that adjusts the display size of some spaces in LyX. This makes the interword and protected spaces the same size as a normal space rather than the same