From: Wenyuan G. <guo...@gm...> - 2010-05-28 07:28:53
|
Pushed to the central repository master branch! Cheers Wenyuan On Thu, May 27, 2010 at 8:44 PM, David Bruce <dav...@gm...>wrote: > Hi Wenyuan, > > > > I propose to solve the problem by associating one font size for each > level > > of menu. This way the algorithm computing font size for a particular menu > > will consistently return the same result even after more menus are loaded > in > > later phases, a more reasonable behavior I think. I have done the > > modification and the patch file is attached (it only touches menu.c). > > > > What do you think about this solution? > > Sounds great. Can you just commit it and push it into git? > > David > |