Menu

#377 Exceptions for "Check for Word Repetitions"

open
nobody
None
1
2013-01-03
2013-01-02
Anonymous
No

Hi

I really like the "Check for Word Repetitions" feature in TeXstudio. Unfortunately, in some cases I would like to deactivate the feature for some certain phrases.

Example: In German you may have a sentence like "Die Autos, die die Welt lieben", where you have "die" twice in a grammatically correct sentence.

Nevertheless, it would be cool to have a options to ignore user defined word repetitions (like "die die") in order to get rid of false warnings.

Thanks a lot.

Discussion

  • Benito van der Zander

    Nevertheless, it would be cool to have a options to ignore user
    defined word repetitions (like "die die") in order to get rid of false
    warnings.

    But these kind of words are those which you usually repeat acidentally.

    Why not change it to "Die Autos, welche die Welt lieben"?

     
    • Anonymous

      Anonymous - 2013-01-02

      Therefore, I would like to "ignore" phrases like "die die".

       
  • Anonymous

    Anonymous - 2013-01-02

    Well, because "Die Autos, die die Welt lieben" is grammatically correct. I don't change sentences only because my editor tells me so.

     
  • Tim Hoffmann

    Tim Hoffmann - 2013-01-02

    Of course, you don't have to change your style of writing because of the editor. However, there are more important things on the todo list than adding user-defined ignores for word repetitions. We'll leave this requests open, so users interested in this feature can vote it up. For the time beeing you'll have to live with the additional warnings. After all, gramatically correct word repetitions are quite rare.

     
  • Anonymous

    Anonymous - 2013-01-03

    You can probably disable the repetition check of TeXstudio completely and activate the grammar check with LanguageTool instead. Their repetition check might be more advanced...

    edit: forgot to login

     

    Last edit: Benito van der Zander 2013-01-03

Anonymous
Anonymous

Add attachments
Cancel





MongoDB Logo MongoDB