{"id":20,"date":"2004-11-02T22:44:56","date_gmt":"2004-11-02T20:44:56","guid":{"rendered":"http:\/\/ken.friislarsen.net\/blog\/?p=20"},"modified":"2004-11-02T22:44:56","modified_gmt":"2004-11-02T20:44:56","slug":"a-unicode-editor-for-michael","status":"publish","type":"post","link":"http:\/\/ken.friislarsen.net\/blog\/2004\/11\/02\/a-unicode-editor-for-michael\/","title":{"rendered":"A Unicode editor for Michael"},"content":{"rendered":"<p><a href=\"http:\/\/corollary.artefact.org.nz\">Michael<\/a>  <a href=\"http:\/\/corollary.artefact.org.nz\/archives\/000465.html\">claims<\/a> that he does not have an editor that can handle Unicode.<\/p>\n<p>Thus, Henning and I whipped up an <a href=\"http:\/\/cvs.sourceforge.net\/viewcvs.py\/mgtk\/mgtk\/examples\/editor.sml?rev=1.9&#038;view=auto\">editor<\/a> using <a href=\"http:\/\/mgtk.sourceforge.net\">mGTK<\/a> that can handle Unicode.  Oh, and did I mention that you can it compile with either <a href=\"http:\/\/www.dina.kvl.dk\/~sestoft\/mosml.html\">Moscow ML<\/a> or <a href=\"http:\/\/mlton.org\">MLton<\/a> without changing the source?<\/p>\n<p>The real story is of course that I we were trying to build a &#8220;real&#8221; application using <a href=\"http:\/\/mgtk.sourceforge.net\">mGTK<\/a>, and the editor example shows that the <a href=\"http:\/\/gtk.org\">gtk+<\/a> widgets handle Unicode fine. Wereas I&#8217;m not sure that SML handles Unicode &#8220;fine&#8221;, String.size does not return the number of characters but the number of bytes.  But at least TextIO does not mess up the bytes (in <a href=\"http:\/\/www.dina.kvl.dk\/~sestoft\/mosml.html\">Moscow ML<\/a> at least, didn&#8217;t test with <a href=\"http:\/\/mlton.org\">MLton<\/a>).<\/p>\n<p>Oh, and I used <code>file<\/code> and <code>gedit<\/code> to check that the file I saved really was Unicode.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Michael claims that he does not have an editor that can handle Unicode. Thus, Henning and I whipped up an editor using mGTK that can handle Unicode. Oh, and did I mention that you can it compile with either Moscow ML or MLton without changing the source? The real story is of course that I <a class=\"read-more\" href=\"http:\/\/ken.friislarsen.net\/blog\/2004\/11\/02\/a-unicode-editor-for-michael\/\">[&hellip;]<\/a><\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"open","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[12,7],"tags":[],"class_list":["post-20","post","type-post","status-publish","format-standard","hentry","category-mgtk","category-sml"],"_links":{"self":[{"href":"http:\/\/ken.friislarsen.net\/blog\/wp-json\/wp\/v2\/posts\/20","targetHints":{"allow":["GET"]}}],"collection":[{"href":"http:\/\/ken.friislarsen.net\/blog\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"http:\/\/ken.friislarsen.net\/blog\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"http:\/\/ken.friislarsen.net\/blog\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"http:\/\/ken.friislarsen.net\/blog\/wp-json\/wp\/v2\/comments?post=20"}],"version-history":[{"count":0,"href":"http:\/\/ken.friislarsen.net\/blog\/wp-json\/wp\/v2\/posts\/20\/revisions"}],"wp:attachment":[{"href":"http:\/\/ken.friislarsen.net\/blog\/wp-json\/wp\/v2\/media?parent=20"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"http:\/\/ken.friislarsen.net\/blog\/wp-json\/wp\/v2\/categories?post=20"},{"taxonomy":"post_tag","embeddable":true,"href":"http:\/\/ken.friislarsen.net\/blog\/wp-json\/wp\/v2\/tags?post=20"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}