Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Disable single command, because its arguments (labels) are not meant to be checked #246

Open
be4 opened this issue Feb 3, 2023 · 3 comments
Labels
type: support request A question on how to use YaLafi

Comments

@be4
Copy link

be4 commented Feb 3, 2023

I'd like to disable some single commands so the proofreading tool doesn't see the command and their arguments.

For example, this is because its arguments are labels which are not meant to be checked.
Here is an example from my tex file with causes an unwanted warning with the command \cref:

On the topic of lattices see \cref{LIL_Chapter_Lattices}.

@torik42
Copy link
Owner

torik42 commented Feb 3, 2023

For this specific problem on cleveref see its YaLafi documentation here.

In general, you can just add

\newcommand{\LTadd}[1]{}
\LTadd{\newcommand{\commandToBeIgnored}[1]{}}

You can also collect them all in a file

% ignore_commands.tex
\newcommand{\commandToBeIgnored}[1]{}

and add them with \LTinput{ignore_commands} (define \LTinput as \LTadd for LaTeX) or with command line option --define ignore_commands.tex.

@torik42 torik42 added the type: support request A question on how to use YaLafi label Feb 3, 2023
@be4
Copy link
Author

be4 commented Feb 3, 2023

Could you please deliver a minimal example. I wasn't able to make this run.

torik42 added a commit that referenced this issue Feb 8, 2023
Extend examples to full MWEs as requested in #246 and point out that
running LaTeX is necessary.
@torik42
Copy link
Owner

torik42 commented Feb 8, 2023

From the discussion in #239 I assume that the problem is with the cleveref package. I updated the documentation and added MWEs there.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
type: support request A question on how to use YaLafi
Projects
None yet
Development

No branches or pull requests

2 participants