<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<style type="text/css" style="display:none;"><!-- P {margin-top:0;margin-bottom:0;} --></style>
</head>
<body dir="ltr">
<div id="divtagdefaultwrapper" style="font-size:12pt;color:#000000;font-family:Calibri,Arial,Helvetica,sans-serif;" dir="ltr">
<p>Or try 0 "cero"</p>
<p><br>
</p>
<div id="Signature"><font face="Courier New, Courier, Monospace" size="2">Mensaje telepatico asistido por maquinas.</font>
</div>
<br>
<br>
<div style="color: rgb(0, 0, 0);">
<hr tabindex="-1" style="display:inline-block; width:98%">
<div id="divRplyFwdMsg" dir="ltr"><font face="Calibri, sans-serif" color="#000000" style="font-size:11pt"><b>From:</b> Pd-list <pd-list-bounces@lists.iem.at> on behalf of Lucas Cordiviola <lucarda27@hotmail.com><br>
<b>Sent:</b> Thursday, February 16, 2017 12:53 PM<br>
<b>To:</b> pd-list@lists.iem.at<br>
<b>Subject:</b> Re: [PD] Menu bar height (differences across platforms)</font>
<div> </div>
</div>
<div>
<div id="divtagdefaultwrapper" dir="ltr" style="font-size:12pt; color:#000000; font-family:Calibri,Arial,Helvetica,sans-serif">
<blockquote style="margin:0 0 0 40px; border:none; padding:0px">
<p></p>
<div><i>>Is it overridden somewhere? I'm lost...</i> </div>
<p></p>
</blockquote>
<p></p>
<div></div>
<div><br>
</div>
<div>could be.</div>
<div><br>
</div>
<div>Recently there were mentions for negative values on pixel settings:</div>
<div><br>
</div>
<div>I`m totally blind on linux.</div>
<div><br>
</div>
<div>Try -10</div>
<div><br>
</div>
<div>seems negative values inhibits resizing.</div>
<div><br>
</div>
<div>just to try.</div>
<br>
<p></p>
<p><br>
</p>
<div id="Signature"><font face="Courier New, Courier, Monospace" size="2">Mensaje telepatico asistido por maquinas.</font>
</div>
<br>
<br>
<div style="color:rgb(0,0,0)">
<div>
<hr tabindex="-1" style="display:inline-block; width:98%">
<div id="x_divRplyFwdMsg" dir="ltr"><font face="Calibri, sans-serif" color="#000000" style="font-size:11pt"><b>From:</b> Pd-list <pd-list-bounces@lists.iem.at> on behalf of Roman Haefeli <reduzent@gmail.com><br>
<b>Sent:</b> Thursday, February 16, 2017 12:42 PM<br>
<b>To:</b> pd-list@lists.iem.at<br>
<b>Subject:</b> Re: [PD] Menu bar height (differences across platforms)</font>
<div> </div>
</div>
</div>
<font size="2"><span style="font-size:10pt">
<div class="PlainText">On Don, 2017-02-16 at 12:26 +0000, Lucas Cordiviola wrote:<br>
> Line 351<br>
> <br>
> set ::menubarsize 22<br>
> <br>
> ?<br>
<br>
Thanks, that looks promising, but it doesn't do anything on Linux when<br>
editing the value for x11 window system (it is already configured to<br>
19, but resulting height is 30px).<br>
<br>
Is it overridden somewhere? I'm lost...<br>
<br>
Roman</div>
</span></font></div>
</div>
</div>
</div>
</div>
</body>
</html>