<div dir="ltr"><div>PreferenceBrowser is not built with the tool builder, and have some quirks that are fixed (at least partly) in other tools.  Look at the Zip tool that have scaling buttons and a minimum size.</div><div><br></div><div>Best,</div><div>Karl<br></div><div><br></div><div><br></div></div><div dir="ltr"><br></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Fri, Jan 3, 2020 at 6:10 PM Thiede, Christoph <<a href="mailto:Christoph.Thiede@student.hpi.uni-potsdam.de" target="_blank">Christoph.Thiede@student.hpi.uni-potsdam.de</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">




<div dir="ltr">
<div id="gmail-m_-2736910872872572668gmail-m_4031618953282063335divtagdefaultwrapper" style="font-size:12pt;color:rgb(0,0,0);font-family:Calibri,Helvetica,sans-serif" dir="ltr">
<img size="53074" id="gmail-m_-2736910872872572668gmail-m_4031618953282063335img980801" style="max-width: 99.9%;" src="cid:16f6c6a762ff456b1e51">
<div>(No, this is not caused by XmasDecorations)</div>
<div><br>
</div>
<div>How can one fix this? Changing #wrapDirection in #newButtonRow to #leftToRight did not help (but it impeded the transparent filler).</div>
<div><br>
</div>
<div>Best,</div>
<div>Christoph</div>
</div>
</div>

<br>
</blockquote></div>