bugLaTeX semantic checker - Bugs: bug #57784, Suggestion: disable W36 inside...

 
 

You are not allowed to post comments on this tracker with your current authentication level.

bug #57784: Suggestion: disable W36 inside \texttt

Submitted by:  Martin Pépin <kerl>
Submitted on:  Mon 10 Feb 2020 05:37:37 PM UTC  
 
Category:  None Severity:  3 - Normal
Item Group:  None Status:  None
Privacy:  Public Assigned to:  None
Open/Closed:  Open

Mon 10 Feb 2020 05:37:37 PM UTC, original submission:  

Hi,

If I understand correctly, the W36 warning ("You should put a space in front of parenthesis") is there to prevent typos(just like this one!) in "normal" text, which is very nice.

However its seems to me that it would make sense to disable this feature inside \texttt{} where the user might want to control the spacing themselves, typically when writing short snippets of code.

I least for my use-case it does make sense, but I might be missing other scenarios for which keeping W36 is better. What do you think?

Best

Martin Pépin <kerl>

 

No files currently attached

 

Depends on the following items: None found

Items that depend on this one: None found

 

Carbon-Copy List
  • -email is unavailable- added by kerl (Submitted the item)
  •  

    Do you think this task is very important?
    If so, you can add your encouragement to it.
    This task has 0 encouragements so far.

    Only logged-in users can vote.

     

     

     

    No changes have been made to this item

    Back to the top


    Powered by Savane 3.5