![]() ![]() So, for example, if you then backspace one character, you’ll delete the whole →, rather than simply “removing the >” and reverting to -.īut if you’re dealing with ] you can’t just do this kind of “local replacement” without the potential for confusion with some ]] showing up as 〛 while others break apart into ]] as a result of routine editing. Back in Version 3.0, the idea was to replace -> with → when you type it. But it’s a lot more subtle than you might think, and in fact it’s required a whole new as-you-type approach to code rendering. It might seem odd that it’s taken so many years to go from “automatic →” to “automatic 〚 〛”. With the new system, they say you can delete just a single bracket without deleting the entire double bracket. According to the Wolfram blog this was necessary to deal with auto replacing of things like [[ into the double bracket. ![]() When you move the cursor into the symbol, it temporarily suspends that rendering. The reason it happens is because rather than actually replacing things like -> with the right arrow character, it only renders that character in the front end now. I think I understand the reason why it happens, but I'm not certain how to fix it, so this is more of an extended comment than an answer. ![]()
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |