[Monodevelop-devel] MonoDevelop UI feedback

[Michael Hutchinson]

On Sat, Apr 17, 2010 at 12:03 AM, Michael Hutchinson
<m.j.hutchinson at gmail.com> wrote:
> 2010/4/16 Levi Bard <taktaktaktaktaktaktaktaktaktak at gmail.com>:
>> Why does the toolbar on the right (don't know what it's called) use a
>> smaller widget size and have an underline?
>
> Not sure why the font size is different. Should probably use the
> smaller size in both cases. Please file bug.

Fixed in SVN.

-- 
Michael Hutchinson
http://mjhutchinson.com