<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: 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="divtagdefaultwrapper" 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="divtagdefaultwrapper" 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="divtagdefaultwrapper" 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:0 0 0 40px; border: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 naturalheight="228" naturalwidth="494" size="11956" id="img655615" tabindex="0" style="max-width: 100%; user-select: none;" src="cid:c4d513fa-a423-45b7-9cda-1182a88d7d4a"><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="divtagdefaultwrapper" 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" contenttype="image/png" id="img754681" style="max-width: 99.9%; user-select: none;" contextid="img439171" tabindex="0" src="cid:e830eb65-4369-445c-acec-b060b136e348"><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="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>
</div>
</div>
</div>
</div>
</div>
</div>
</div>
</body>
</html>