
<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,Helvetica,sans-serif;" dir="ltr">

<p>This changeset proposes an additional property for PluggableTextMorph/PluggableTextSpec, named #forceString. If it is activated, any formattings will be erased from the text morph instantly.</p>

<p><br>

</p>

<p>This can be useful for widgets that are not actually designed to accept texts and thus display a heap of unwanted formattings. An example is the SearchBar, which at least in my image too often looks totally misstyled after several copy'n'paste operations:</p>

<p><img size="8756" contenttype="image/png" id="img60260" style="max-width: 99.9%; user-select: none;" contextid="img445619" tabindex="0" src="cid:4dc50742-4fb0-49c7-8e91-e28c30faaff0"></p>

<p>(Or should maybe use a text styler there, instead?)</p>

<p>Another, probably better example is FillInTheBlankMorph. As it only returns a string, there is no need to display styled texts.</p>

<p><br>

</p>

<p>How would you think about it? Please let me know. :-)</p>

<p><br>

</p>

<p>Best,</p>

<p>Christoph</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>

</body>

</html>