<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
</head>
<body>
<style type="text/css" style="display:none;"><!-- P {margin-top:0;margin-bottom:0;} --></style>
<div id="divtagdefaultwrapper" style="font-size:12pt;color:#000000;font-family:Calibri,Helvetica,sans-serif;" dir="ltr">
<p>Hi Nicolas,</p>
<p><br>
</p>
<p>thanks for the insight. On my system, it is not rounded ... I have the latest trunk updates installed.</p>
<div id="Signature">
<div name="divtagdefaultwrapper" style="font-family:Calibri,Arial,Helvetica,sans-serif; font-size:; margin:0">
<div><font size="2" color="#808080"></font></div>
</div>
</div>
</div>
<hr style="display:inline-block;width:98%" tabindex="-1">
<div id="divRplyFwdMsg" dir="ltr"><font face="Calibri, sans-serif" style="font-size:11pt" color="#000000"><b>Von:</b> Squeak-dev <squeak-dev-bounces@lists.squeakfoundation.org> im Auftrag von Nicolas Cellier <nicolas.cellier.aka.nice@gmail.com><br>
<b>Gesendet:</b> Dienstag, 22. Oktober 2019 15:00:27<br>
<b>An:</b> The general-purpose Squeak developers list<br>
<b>Betreff:</b> Re: [squeak-dev] Fractional bounds and flickering (contains images that may be disturbing to some readers)</font>
<div> </div>
</div>
<div>
<div dir="ltr">
<div>Hi Christoph,</div>
<div>I cannot reproduce. It seems like bounds soon get rounded in my image:</div>
<div> <br>
(SystemWindow new openInWorld extent: (24214/31)@(11565/31)) bounds extent.</div>
<div> 781@373</div>
</div>
<br>
<div class="gmail_quote">
<div dir="ltr" class="gmail_attr">Le mar. 22 oct. 2019 à 13:40, Thiede, Christoph <<a href="mailto:Christoph.Thiede@student.hpi.uni-potsdam.de">Christoph.Thiede@student.hpi.uni-potsdam.de</a>> a écrit :<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_7861892974278135638divtagdefaultwrapper" style="font-size:12pt;color:rgb(0,0,0);font-family:Calibri,Helvetica,sans-serif,EmojiFont,"Apple Color Emoji","Segoe UI Emoji",NotoColorEmoji,"Segoe UI Symbol","Android Emoji",EmojiSymbols" dir="ltr">
<p><span style="font-size:12pt">Hi all,</span><br>
</p>
<div style="color:rgb(0,0,0)">
<div>
<div id="gmail-m_7861892974278135638divtagdefaultwrapper" dir="ltr" style="font-size:12pt;color:rgb(0,0,0);font-family:Calibri,Helvetica,sans-serif,EmojiFont,"Apple Color Emoji","Segoe UI Emoji",NotoColorEmoji,"Segoe UI Symbol","Android Emoji",EmojiSymbols">
<div style="color:rgb(0,0,0)">
<div>
<div id="gmail-m_7861892974278135638divtagdefaultwrapper" dir="ltr" style="font-size:12pt;color:rgb(0,0,0);font-family:Calibri,Helvetica,sans-serif,EmojiFont,"Apple Color Emoji","Segoe UI Emoji",NotoColorEmoji,"Segoe UI Symbol","Android Emoji",EmojiSymbols">
<div id="gmail-m_7861892974278135638divtagdefaultwrapper" dir="ltr" style="font-size:12pt;color:rgb(0,0,0);font-family:Calibri,Helvetica,sans-serif,EmojiFont,"Apple Color Emoji","Segoe UI Emoji",NotoColorEmoji,"Segoe UI Symbol","Android Emoji",EmojiSymbols">
<p><br>
</p>
<p>In the latest days, I encountered flickering problems caused by non-integer bounds of system windows again. For me, the following fails reproducibly in different images:</p>
<p><span><br>
</span></p>
<blockquote style="margin:0px 0px 0px 40px;border:medium none;padding:0px">
<p><span>SystemWindow new</span><span style="font-size:12pt"> openInWorld extent: (24214/31)@(11565/31).</span></p>
</blockquote>
<p><span style="font-size:12pt"></span></p>
<p><span style="font-size:12pt"><br>
</span></p>
<p><span style="font-size:12pt">If I hover and unhover the window a few times, its contents are drawn badly and incompletely like this:</span></p>
<p><span style="font-size:12pt"><br>
</span></p>
<p><span style="font-size:12pt"><img size="11956" id="gmail-m_7861892974278135638img655615" style="max-width: 100%;" src="cid:16df38cc226f456b1e51"><br>
</span></p>
<p><span style="font-size:12pt"><br>
</span></p>
<p><span style="font-size:12pt"></span></p>
<p style="font-family:Calibri,Helvetica,sans-serif,EmojiFont,"Apple Color Emoji","Segoe UI Emoji",NotoColorEmoji,"Segoe UI Symbol","Android Emoji",EmojiSymbols;font-size:16px">
</p>
<ul style="margin-bottom:0px;margin-top:0px">
<li><span style="font-size:12pt">As you can see, the issue also affects other morphs in the same region (in the screenshot I am hovering the implementors button of the background browser).</span></li><li><span style="font-size:12pt">The issue only occurs with very complex fractions, so the extent 500 @ 300 / 2 would not be a problem (at least in my image). I could not reproduce it using floats.</span></li><li><span style="font-size:12pt">The situation can be also reproduced by composing a few morphs manually,
</span><span style="font-size:12pt">but the more submorphs there, the higher the flickering rate appears to be.</span></li><li><span style="font-size:12pt"></span>[World imageForm] does not contain any abnormalities, maybe the problem is related to the damage recording?</li></ul>
<div><span style="font-size:12pt"><br>
</span></div>
I would like to solve this bug, but I'm not sure where the problem actually arises. In general, <span style="font-size:12pt">should morphs be allowed to have non-integer bounds? This could be useful e. g. for exact animations, but we already have some rounding
that (unfortunately) rule out this use case:</span></div>
<div id="gmail-m_7861892974278135638divtagdefaultwrapper" dir="ltr" style="font-size:12pt;color:rgb(0,0,0);font-family:Calibri,Helvetica,sans-serif,EmojiFont,"Apple Color Emoji","Segoe UI Emoji",NotoColorEmoji,"Segoe UI Symbol","Android Emoji",EmojiSymbols">
<p></p>
<p></p>
<ul style="margin-bottom:0px;margin-top:0px">
<li><span style="font-size:12pt">#position: appears to round the delta value for movement</span></li><li><span style="font-size:12pt">#extent: and #bounds: do no rounding at all.</span></li></ul>
<div>Should we maybe apply some rounding or at least truncating there? Or just convert the arguments using #asFloat before?<br>
</div>
<div>Or do you have any idea how one could debug the problem?</div>
<div><br>
</div>
<div>(For relevancy: I often call Preferences >> #changeFontSize:, and each time all windows are drawn badly until I round their bounds. This can indeed be quite annoying:</div>
<img size="510104" id="gmail-m_7861892974278135638img754681" style="max-width: 99.9%;" src="cid:16df38cc227f456b1e52"><span style="font-size:12pt">)</span>
<div><br>
</div>
<div>Looking forward to your help!</div>
<div>Best,</div>
<div>Christoph</div>
<p></p>
<div id="gmail-m_7861892974278135638Signature">
<div name="divtagdefaultwrapper">
<div><font size="2" color="#808080"></font></div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
<br>
</blockquote>
</div>
</div>
</body>
</html>