On Fri, May 11, 2007 at 09:02:04PM +0100, José Matos wrote: > On Friday 11 May 2007 16:03:06 Bo Peng wrote: > > I propose the following simple patch to add mathcorners and remove > > mathbg (for now). mathcorners is the same as background by default, > > but can be adjusted to show corners of mathed not under focus. I tried > > to implement mathbg but a thorough solution is hard to get and will be > > intrusive. > > > > OK to commit? > > André or Jean-Marc, any objection?
Looks harmless. Andre'
