Andrew Short

Results 19 comments of Andrew Short

It'd probably be better to disable the field until an ID is set, to prevent the user from getting confused when actions they perform aren't executed.

I've fixed the issue with items not being removable if not on the first page - I used a different fix so we don't have to load the entire list...

I think you might have encountered the same issue as #13 - can you see if this is fixed?

Which browser are you using? This is working fine for me.

Thanks for the detailed info - I managed to track it down - when you close the dialog the first time it's just hidden, not removed, and the search results...

I know - but I think it would be better to fix it by removing unnecessary dialogs from the DOM rather than working around it.

Are you using latexmk? If so, do you have Perl installed?

Unfortunately I'm unable to replicate this issue. If someone has a basic example project they can zip up and attach to the issue it would be appreciated. Or if someone...

I don't have any plans to do so at the moment - if you are interested in making this change, you could listen to the `onDidOpenTextDocument` event and run the...

Thanks for the report! In regards to (1), this extension doesn't actually include syntax highlighting for latex files (only preview).