Thomas Schouten

Thanks, closed this by mistake

I'm not sure what issue you are referring to?

The most difficult thing about `\DeclareGraphicsExtensions` I think is that you can use it anywhere in a document taking only effect from then on. But if we ignore that, it...

Thanks for the suggestion. We do have something to detect redefinitions for `\label` but not yet for `\input` (https://hannah-sten.github.io/TeXiFy-IDEA/editing-a-latex-file.html#support-for-user-defined-commands) The main reason is that I am worried about performance. `\newcommandx`...

This is not 'go to symbol' (Navigate > Symbol), this is a resolve from `CommandDefinitionReference`. I don't know if we can change the popup presentation, if not we should probably...

I agree that it would be better to provide some information on available commands, because the user might not remember them all. From https://tex.stackexchange.com/a/17085/98850 it looks like the three main...

This is indeed on purpose, see #3101 . Unfortunately we have to decide at lexer level whether they are \begin and \end commands or not, if they are then the...

Hi, thanks for submitting this issue! I cannot reproduce the problem, doing the following: * Enable automatic compilation and only compile on save * Paste the LaTeX you provided *...

You can reproduce the issue with the steps I provided? Could you show a screen recording? What exactly did you type between the two Save actions?

Thanks a lot for the video! I have to agree that that is not working as it should. It looks like there might be an exception in the bottom right,...