<html><head><meta http-equiv="content-type" content="text/html; charset=utf-8"></head><body dir="auto"><div dir="ltr"><meta http-equiv="content-type" content="text/html; charset=utf-8"><div dir="ltr">     <span style="-webkit-text-size-adjust: auto;">> I looked at the Extended Oberon Display.Mod,</span></div><div dir="ltr"><span style="-webkit-text-size-adjust: auto;">    > which according to github is just two hours old.</span></div><div dir="ltr"><span style="-webkit-text-size-adjust: auto;">   >  One thing which I immediately liked was:</span></div><div dir="ltr"><span style="-webkit-text-size-adjust: auto;">    > VAR arrow*, star*, hook*, updown*, block*,</span></div><div dir="ltr"><span style="-webkit-text-size-adjust: auto;">    > cross*, grey*: INTEGER; </span></div><div dir="ltr"><span style="-webkit-text-size-adjust: auto;"><br></span></div><div dir="ltr"><span style="-webkit-text-size-adjust: auto;">It was reverted back from Display.Pattern to INTEGER. The implementation with Display.Pattern (now at [*] as an experimental sandbox) turned out to be unconvincing and also breaks existing code.</span></div><div dir="ltr"><br></div><div dir="ltr"><br><meta http-equiv="content-type" content="text/html; charset=utf-8"><div dir="ltr" data-setdir="false" style="-webkit-text-size-adjust: auto;">[*] <a href="https://github.com/andreaspirklbauer/Oberon-module-Fonts-without-SYSTEM/tree/master/Sources/ExtendedOberon/Variant3" rel="nofollow" target="_blank" style="font-family: "Helvetica Neue", Helvetica, Arial, sans-serif; font-size: 13px;">https://github.com/andreaspirklbauer/Oberon-module-Fonts-without-SYSTEM/tree/master/Sources/ExtendedOberon/</a><span style="font-family: "Helvetica Neue", Helvetica, Arial, sans-serif; font-size: 13px;">Variant3</span></div><div dir="ltr" data-setdir="false" style="-webkit-text-size-adjust: auto;"><div style="font-family: "Helvetica Neue", Helvetica, Arial, sans-serif; font-size: 13px;"><div dir="ltr" data-setdir="false"><br></div></div></div><div dir="ltr"><br></div></div></div></body></html>