bugLaTeX semantic checker - Bugs: bug #60380, Disable Warnings 12 and 13 after...

 
 

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

bug #60380: Disable Warnings 12 and 13 after macro

Submitter:  Bastian <imix>
Submitted:  Mon 12 Apr 2021 07:15:53 AM UTC
   
 
Category:  None Severity:  3 - Normal
Item Group:  None Status:  Fixed
Privacy:  Public Assigned to:  gvol
Open/Closed:  Closed

Fri 07 Oct 2022 12:43:34 AM UTC, comment #1: 

I added a CmdSpaceStyle option to turn off checking for space warnings after commands.  It's defaulted Ignore, though I'm not sure that's the right thing.  Bug #60809 was basically the same request, so I figured it must be popular.

Ivan Andrus <gvol>
Group administrator
Mon 12 Apr 2021 07:15:53 AM UTC, original submission:  

I use macros like

    \def\ie.{i.\,e.\@}

in my texts like "it's a ship, \ie. something floating".  I recognized the following behaviour of ChkTeX:

    1) "A \ie. b." % W13
    2) "A \ie. B." % no Warning
    3) "A \iE. b." % no Warning
    4) "A \iE. B." % no Warning
    5) "A \IE. b." % W13
    6) "A \IE. B." % W13

this seems to be independent of the macro definition.  I suppose it only checks the macro name and whether it is all small caps or all capital caps.  I don't think it should consider a macro name like an ordinary word.  If ChkTeX can't expand the macro to check the correct spacing after expansion, I think it shouldn't warn at all or give a warning like "unknown correct spacing after macro".

Bastian <imix>

 

(Note: upload size limit is set to 16384 kB, after insertion of the required escape characters.)

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 gvol (Posted a comment)
  • -email is unavailable- added by imix (Submitted the item)
  •  

    There are 0 votes so far. Votes easily highlight which items people would like to see resolved in priority, independently of the priority of the item set by tracker managers.

     

    Follow 3 latest changes.

    Date Changed by Updated Field Previous Value => Replaced by
    2022-10-07 gvol StatusNone Fixed
        Assigned toNone gvol
        Open/ClosedOpen Closed

    Back to the top

    Powered by Savane 3.13-d3ae.
    Corresponding source code