<body><div id="__MailbirdStyleContent" style="font-size: 12pt;font-family: calibri;color: #000000">
Well, I did more changes than expected. Please find attached the current version of that refactoring and test again. Note that we have, at the moment, no support for rounded corners in inset/raised borders.<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 04.05.2018 10:34:20 schrieb Marcel Taeumel <marcel.taeumel@hpi.de>:</p><div id="__MailbirdStyleContent" style="font-size: 12pt;font-family: calibri;color: #000000">
I will merge that refactoring during the next hours. Please report any issues here and not as a response to the commit e-mails.<div><br></div><div>Best,</div><div>Marel</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 11.04.2018 12:01:47 schrieb Marcel Taeumel <marcel.taeumel@hpi.de>:</p><div id="__MailbirdStyleContent" style="font-size: 12pt;font-family: calibri;color: #000000">Hi, there.<div><br></div><div>Please find attached a refactoring of BorderedMorph to make use of BorderStyle like regular morphs do. Maybe, in the future, we can get rid of BorderedMorph.</div><div><br></div><div>It includes:</div><div>- No instVar access to borderColor and borderWidth but message sends.</div><div>- No #inset or #raised anymore when asking a morph for its #borderColor. Just colors.</div><div>- Copying the prototypical border styles from the UI theme when used in morphs.</div><div>- A post-load script that updates all your morphs in the image. Not that important but good for keeping your current tools opened.</div><div><br></div><div>After a few days of no complaints, I will merge it into Trunk.</div><div><br></div><div>Best,</div><div>Marcel</div><div><br></div></div>
</blockquote>
</div>
</blockquote>
</div></body>