<div dir="auto">A subclass such as CodeHolder maybe? :-)</div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">Thiede, Christoph <<a href="mailto:Christoph.Thiede@student.hpi.uni-potsdam.de">Christoph.Thiede@student.hpi.uni-potsdam.de</a>> schrieb am Fr., 10. Jan. 2020, 20:26:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">




<div dir="ltr">
<div id="m_-6382482181795397959divtagdefaultwrapper" style="font-size:12pt;color:#000000;font-family:Calibri,Helvetica,sans-serif" dir="ltr">
<p>Hi,</p>
<p><br>
</p>
<p>if you edit a load script in Monticello, a StringHolder will open. Unfortunately, StringHolders don't support styling.</p>
<p>A similar problem exists for the do-it list of the docking bar.</p>
<p><br>
</p>
<p>What would be the best approach to fix this? Introduce a subclass of StringHolder for this purpose? Add an instvar to StringHolder (which would be weird, because no subclass would use it)?</p>
<p><br>
</p>
<p>Best,</p>
<p>Christoph</p>
<div id="m_-6382482181795397959Signature">
<div id="m_-6382482181795397959divtagdefaultwrapper" 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">
<div>
<div id="m_-6382482181795397959Item.MessagePartBody">
<div id="m_-6382482181795397959Item.MessageUniqueBody" style="font-family:wf_segoe-ui_normal,"Segoe UI","Segoe WP",Tahoma,Arial,sans-serif,serif,EmojiFont">
<div dir="ltr">
<div id="m_-6382482181795397959divtagdefaultwrapper"><font face="Calibri,Helvetica,sans-serif,EmojiFont,Apple Color Emoji,Segoe UI Emoji,NotoColorEmoji,Segoe UI Symbol,Android Emoji,EmojiSymbols">
<div id="m_-6382482181795397959Signature">
<div style="margin:0px"><font style="font-family:Calibri,Arial,Helvetica,sans-serif,serif,EmojiFont"></font></div>
</div>
</font></div>
</div>
</div>
</div>
</div>
<div><font size="2" color="#808080"></font></div>
</div>
</div>
</div>
</div>
</div>

<br>
</blockquote></div>