<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></p>
<div>Line 351</div>
<div><br>
</div>
<div> set ::menubarsize 22</div>
<div><br>
</div>
<div>?</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:05 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 11:56 +0100, IOhannes m zmoelnig wrote:<br>
> On 2017-02-16 11:41, Roman Haefeli wrote:<br>
> > <br>
> > Hey all<br>
> > <br>
> > While we're at it, during testing font metrics on different<br>
> > platforms,<br>
> > I noticed that menus are quite different. On Linux, the menu bar<br>
> > height<br>
> > is 30px, on Windows 19px. Personally, I find the 30px ugly and too<br>
> > large. <br>
> > <br>
> > Can this be made consistent across platforms, too?<br>
> <br>
> shouldn't it be made consistent with the various platforms instead?<br>
> that is: if he new iOS look-and-feel mandates 42px menu-bars, users<br>
> should get them - rather than 12px to be consistent with BeOS.<br>
> <br>
> apart from that, I agree that the menu bar on Linux is uglishly high.<br>
> <br>
> but my point is: it is ugly because it is higher than the menu-bars<br>
> of<br>
> other applications on my Linux system, not because i enjoy staring at<br>
> the w32 version in my spare time.<br>
<br>
I see your point about being consistent within a certain platform. And<br>
am I happy that I'm not the only one who finds Pd's menu bars on Linux<br>
too high. Is that also configured in pd-gui.tcl? I wasn't able to spot<br>
it at a first quick glance.<br>
<br>
Roman<br>
<br>
<br>
</div>
</span></font></div>
</div>
</body>
</html>