<div dir="ltr">Thanks,<div>These are now in trunk</div><div><br></div><div>Karl</div></div><div class="gmail_extra"><br><div class="gmail_quote">On Sun, Apr 19, 2015 at 11:30 PM, Chris Muller <span dir="ltr"><<a href="mailto:asqueaker@gmail.com" target="_blank">asqueaker@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span class="">On Sun, Apr 19, 2015 at 1:18 PM, karl ramberg <<a href="mailto:karlramberg@gmail.com">karlramberg@gmail.com</a>> wrote:<br>
> A few notes:<br>
> I noticed that menuTitleBorderColor, menuTitleBorderWidth and menuTitleColor<br>
> does not seem to change anything.<br>
><br>
> Gradient menus are on by default and you can only change 1 of the gradient<br>
> colors.<br>
><br>
> 3d menu preference is in charge of menu border width and color until you<br>
> turn that off.<br>
><br>
> The DockingBar must be turned off and on again before it updates new<br>
> settings.<br>
><br>
><br>
><br>
> But I think is generally good to bring as many preferences as possible into<br>
> the PreferenceBrowser,<br>
<br>
</span>+1 for these into trunk. These preferences are necessary if we want<br>
to allow truly custom looks (and hopefully a variety of Themes<br>
eventually).<br>
<br>
</blockquote></div><br></div>