User Activity

  • Posted a comment on ticket #2351 on Scintilla

    Many thanks for your reply, Neil. I didn't know that Unicode make a distinction between titlecase and uppercase. Given that, the file can be found at https://www.unicode.org/Public/UNIDATA/SpecialCasing.txt (just for reference). What surprised me (just as a comment) is the first special case: # The German es-zed is special--the normal mapping is to SS. # Note: the titlecase should never occur in practice. It is equal to titlecase(uppercase(<es-zed>)) 00DF; 00DF; 0053 0073; 0053 0053; # LATIN SMALL...

  • Posted a comment on ticket #2351 on Scintilla

    Sorry, this was a mistake (and there seems to be no editing option of the original message): Would it be possible that SCI_UPPERCASE would not expand single characters into extra characters? With current behavior,SCI_LOWERCASE gets back as a different string with this characters when SCI_UPPERCASE was used before.

  • Created ticket #2351 on Scintilla

    `SCI_UPPERCASE` turns precomposed adscript iota into extra uppercase iota character

  • Posted a comment on ticket #89 on freeglut

    John, your comments are flattering, but I’m not that smart. I don‘t code. I’m only a MuPDF user that faces a change in the library (FreeGLUT replacing GLFW in the latest 1.12-rc1 version) and these changes are essential for the searching functionality (with non-ascii characters). Sorry, but I’m afraid I cannot discuss anything on these improvements. You asked me what was wrong with this issue tracking system. Only one feature: in GitHub, the person who reports the issue can always close it 😊. Sorry...

  • Posted a comment on ticket #90 on freeglut

    Hi John, sorry, but I really don’t like it. It is far less clear and useful that GitHub (or Bitbucket, or GitLab). But it seems that we agree on that 😉. Many thanks for your reply, Pablo

  • Posted a comment on ticket #90 on freeglut

    Dear Dee, yesterday I just checked it and it totally overlooked that issues where enabled (it seems I was too tired). Sorry for the noise, Pablo

  • Created ticket #90 on freeglut

    issues in GitHub?

  • Created ticket #89 on freeglut

    merge changes from http://git.ghostscript.com/?p=thirdparty-freeglut.git;a=summary

View All

Personal Data

Username:
ousia
Joined:
2001-05-16 10:49:41
Web Site:
  1. http://www.ousia.tk

Projects

  • No projects to display.

Personal Tools