<HTML><BODY style="word-wrap: break-word; -khtml-nbsp-mode: space; -khtml-line-break: after-white-space; ">I would also suggest that the left arrow is off-putting to newbies. There's no obvious key for it, and it causes a lot of confusion for the user trying to figure out how to make one. So it ends up being a barrier to entry. Making ParagraphEditor "magically" replace things (or render them specially) isn't really better. <DIV><BR class="khtml-block-placeholder"></DIV><DIV>I think it's time to let this convention go - it's more trouble than its worth.<DIV><BR class="khtml-block-placeholder"></DIV><DIV>-Todd Blanchard</DIV><DIV> <BR><DIV><DIV>On Jun 4, 2006, at 1:15 PM, Duncan Mak wrote:</DIV><BR class="Apple-interchange-newline"><BLOCKQUOTE type="cite">On 6/4/06, <B class="gmail_sendername">stéphane ducasse</B> <<A href="mailto:ducasse@iam.unibe.ch">ducasse@iam.unibe.ch</A>> wrote:<DIV><SPAN class="gmail_quote"></SPAN><BLOCKQUOTE class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"> I realized that the preference may not be what you suggest.<BR>In that case propose an enh. Indeed this is important that all the<BR>code is store using one convention.</BLOCKQUOTE><DIV><BR>With syntaxHighlightingAsYouTypeAnsiAssignment enabled, I can see that _ will get converted to :=. <BR><BR>In both OmniBrowser and Shout Workspace, this conversion only happens after having accepted the buffer (i.e. no more red border). It would be best if it could do it on the fly, without requiring the buffer be accepted. <BR><BR>For now, I'll work on adding a new keybinding to ParagraphEditor (ctrl-=) for entering := and submit a patch for that. Later, when everything's been converted to use :=, maybe then I can put together a package to alter only the rendering of := to the left-arrow. <BR><BR>Does that sound good?<BR><BR>Duncan.</DIV></DIV><DIV style="margin-top: 0px; margin-right: 0px; margin-bottom: 0px; margin-left: 0px; min-height: 14px; "><BR></DIV> </BLOCKQUOTE></DIV><BR></DIV></DIV></BODY></HTML>