Re: Math delimiter size

2006-11-05 Thread Georg Baum
Am Sonntag, 5. November 2006 17:26 schrieb Georg Baum: > Am Sonntag, 5. November 2006 17:12 schrieb Michael Gerz: > > Why is biggg/Biggg not used in the frontend? > > Because it is only defined in one special font (I forgot which one, but > IIRC there should be a comment somehere). Yep, it is in

Re: Math delimiter size

2006-11-05 Thread Georg Baum
Am Sonntag, 5. November 2006 17:12 schrieb Michael Gerz: > Hi, > > I am going to commit the following patch: > > Index: frontends/qt4/QDelimiterDialog.C > === > --- frontends/qt4/QDelimiterDialog.C(Revision 15750) > +++ frontends

Re: Math delimiter size

2006-11-05 Thread Enrico Forestieri
On Sun, Nov 05, 2006 at 05:12:24PM +0100, Michael Gerz wrote: > Hi, > > I am going to commit the following patch: > > Index: frontends/qt4/QDelimiterDialog.C > === > --- frontends/qt4/QDelimiterDialog.C(Revision 15750) > +++ fro

Math delimiter size

2006-11-05 Thread Michael Gerz
Hi, I am going to commit the following patch: Index: frontends/qt4/QDelimiterDialog.C === --- frontends/qt4/QDelimiterDialog.C(Revision 15750) +++ frontends/qt4/QDelimiterDialog.C(Arbeitskopie) @@ -45,8 +45,8 @@ char const *