<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=us-ascii">
</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>> <span>06.08.2019 06:41:33</span></p>
<p><br>
</p>
<p>Great that someone keeps track of all our bugs! The mailing list would descend into chaos without your support ... :-)</p>
<div id="Signature">
<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 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>
<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 Taeumel, Marcel<br>
<b>Gesendet:</b> Montag, 6. Januar 2020 16:44:57<br>
<b>An:</b> Chris Muller; JOHN SARKELA via Squeak-dev<br>
<b>Betreff:</b> Re: [squeak-dev] Possible bug in PluggableTextMorph: Selection is reversed when rehovering text</font>
<div> </div>
</div>
<div>
<div id="__MailbirdStyleContent" style="font-size: 10pt;font-family: Arial;color: #000000">
Hi all.
<div><br>
</div>
<div>That issue should be fixed in Trunk by now. If I recall correctly, Eliot found other examples in Transcript and Debugger windows that helped track down the bug.</div>
<div><br>
</div>
<div>Best,</div>
<div>Marcel</div>
<div class="mb_sig"></div>
<blockquote class="history_container" type="cite" style="border-left-style:solid;border-width:1px; margin-top:20px; margin-left:0px;padding-left:10px;">
<p style="color: #AAAAAA; margin-top: 10px;">Am 06.08.2019 06:41:33 schrieb Chris Muller <asqueaker@gmail.com>:</p>
<div style="font-family:Arial,Helvetica,sans-serif">
<div dir="ltr">
<div dir="ltr">On Mon, Aug 5, 2019 at 8:21 AM Christoph Thiede <<a href="mailto:christoph.thiede@student.hpi.uni-potsdam.de" target="_blank">christoph.thiede@student.hpi.uni-potsdam.de</a>> wrote:<br>
</div>
<div class="gmail_quote">
<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
Hi,<br>
<br>
currently, the editor is not replaced after #setText:, is it? Couldn't it be<br>
troublesome to reset the editor in #setText: if styling is executed deferred<br>
and the user made a new RTL selection?<br>
<br>
@Chris: I have nearly the same preferences, but also activated the third<br>
option (where I couldn't find any difference when toggling it). </blockquote>
<div><br>
</div>
<div>It affects whether clicking on one of the window buttons (close, menu, minimize, maximize) of a background window will activate the button, or simply bring the window to the front first, at which point the button will respond -- like an exception to the
"Contents always active". Marcel did a brilliant job on it.</div>
<div> </div>
<blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">
But I don't<br>
see how this solves the problem?<br>
</blockquote>
<div><br>
</div>
<div>You're right, it doesn't solve it, I simply tried to reproduce your issue in trunk image with my settings, but couldn't. In a stock image (default settings), I could. I didn't research why.</div>
<div><br>
</div>
<div>Best,</div>
<div> Chris</div>
<div><br>
</div>
<div><br>
</div>
</div>
</div>
</div>
</blockquote>
</div>
</div>
</body>
</html>