User Activity

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

    I experience quite frequently the same problem, but not limited to TS but in other programs as well (yet most frequently in TS, across all versions used so far). Therefore, it seems not specific to TS. I use an external keyboard (IBM M, the "machine gun") via a USB-hub (also no extra drivers). I suspect the USB-connection to issue/insert extra-"impulses" being transformed into codes for spades, diamonds, bullets, or other special characters. No idea, what the true reason is, but I don't think, TS...

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

    I experience quite frequently the same problem, but not limited to TS but in other programs as well (yet most frequently in TS). Therefore, it seems not specific to TS. I use an external keyboard (IBM M, the "machine gun") via a USB-hub (also no extra drivers). I suspect the USB-connection to issue/insert extra-"impulses" being transformed into codes for spades, diamonds, bullets, or other special characters. No idea, what the true reason is, but I don't think, TS is the culprit.

  • Created ticket #1183 on TeXstudio - A LaTeX Editor

    Slightly different behavior of search in pdf-viewer

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

    agree! Proposal: Another button in the search/replace panel do (de-)activate aut...

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

    au contraire! Personally, I am not such a fan of editors providing opening and closing...

  • Created ticket #1138 on TeXstudio - A LaTeX Editor

    Temporarily disable enquote-replacement

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

    both, a) and c) would already be fine, need not be full-blown color selector...

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

    Need not be automatical cleanup, I would favor a button, e.g., next to the save or...

View All

Personal Data

Username:
rudi82
Joined:
2015-01-25 11:22:28

Projects

  • No projects to display.

Personal Tools

MongoDB Logo MongoDB