[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [tlaplus] Toolbox beta release with Unicode support
looks like a great feature.
A first feedback from me:
- I had to increase font size from 9 to 16 pt to get windows to render the Unicode chars nicely on my lenovo t450s.
- Unicode is not rendered correctly inside /* comments which makes commented code unreadable as the parser detects the characters and changes them to ? boxes. I suppose the intention is that comments should either be parsed correctly or not all what ever seems to be more intuitive. I would prefer the first option.
Am 15.08.2017 um 20:04 schrieb Markus Alexander Kuppe:
Ron Pressler contributed Unicode support to the TLAToolbox. Unicode support makes it possible to render TLA+ with Unicode characters. We believe Unicode support to improve readability especially for new users due to the more familiar syntax.
Unicode support works for all Toolbox windows: the TLA+ editor, the Model Editor and the Error Trace. See the screenshot below which show the TLA+ editor and the Error Trace with Unicode support enabled. Unicode support works at the UI level only and can be easily toggled via the File> "Use Unicode" menu entry. Your .tla files do not get rewritten with Unicode characters. When typing with Unicode support enabled, ASCII input is converted to Unicode on-the-fly. You do not have to type Unicode.
The Unicode support required significant changes in the Toolbox code base and although the feature appears solid, we think it is best to initially release a beta version. Once we will have gathered sufficient feedback from the beta testers, we will incorporate Unicode support into the regular Toolbox release. This is why the download link at https://tla2.msr-inria.inria.fr/unicode/ wants you to enter an email address with which we might eventually solicit feedback. We will not use your email address for any other purpose.
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+u...@xxxxxxxxxxxxxxxx <mailto:tlaplus+u...@xxxxxxxxxxxxxxxx>.
To post to this group, send email to tla...@xxxxxxxxxxxxxxxx <mailto:tla...@xxxxxxxxxxxxxxxx>.
Visit this group at https://groups.google.com/group/tlaplus.
For more options, visit https://groups.google.com/d/optout.
Teamleiter Frontend Services
kiz - Universität Ulm
Raum O26 5206
Tel. +49 731 50 22484
Diese E-Mail ist digital unterschrieben, weshalb Sie sich sicher sein können dass sie von mir stammt. Mehr dazu hier <https://www.uni-ulm.de/einrichtungen/kiz/service-katalog/it-sicherheit/digitale-zertifikate/dfn-global-zertifikate/>.