User Activity

  • Posted a comment on ticket #2401 on TeXstudio - A LaTeX Editor

    Please, let's not get into “Qt is the only and single culprit, so won’t fix anything” (in that case, just rewrite TeXStudio without it, since it's clearly not the first Qt-related bug), and actually try to fix the bug or find a way around it that solves the problem. I have already given a dirty hack that would prevent the bug from happening (even though it is still there under the hood) if implemented directly in TeXMaker/TeXStudio's code: input 0123456789, backspace×10, AltGr at program launch and...

  • Modified a comment on ticket #2401 on TeXstudio - A LaTeX Editor

    I know what the issue is: this is a bug in TeXMaker and TeXStudio for Windows involving the alt gr key. Unicode characters appear seamingly randomly after releasing the alt gr key, and thus after “\” but also “{”, ”[” or “@” for instance. I have finally found a consistent way to reproduce the bug! First, some general explanation: I believe the bug happens for every international keyboard layouts with alt gr (french, german, spanish, and many others) but triggers seamingly so rarely and randomly that...

  • Posted a comment on ticket #2401 on TeXstudio - A LaTeX Editor

    Thank you, I have sent them a message.

  • Modified a comment on ticket #2401 on TeXstudio - A LaTeX Editor

    I know what the issue is: this is a bug in TeXMaker and TeXStudio for Windows involving the alt gr key. Unicode characters appear seamingly randomly after releasing the alt gr key, and thus after “\” but also “{”, ”[” or “@” for instance. I have finally found a consistent way to reproduce the bug! First, some general explanation: I believe the bug happens for every international keyboard layouts with alt gr (french, german, spanish, and many others) but triggers seamingly so rarely and randomly that...

  • Posted a comment on ticket #2401 on TeXstudio - A LaTeX Editor

    I know what the issue is: this is a bug in TeXMaker and TeXStudio for Windows involving the alt gr key. Unicode characters appear seamingly randomly after releasing the alt gr key, and thus after “\” but also “{”, ”[” or “@” for instance. I have finally found a consistent way to reproduce the bug! First, some general explanation: I believe the bug happens for every international keyboard layouts with alt gr (french, german, spanish, and many others) but triggers seamingly so rarely and randomly that...

View All

Personal Data

Username:
mindcraftmax
Joined:
2019-02-01 23:39:37

Projects

  • No projects to display.

Personal Tools

MongoDB Logo MongoDB