ericpony comments

Repositories
Issues
Comments

Results 2 comments of


                                            ericpony

Focus lost while scrolling with up/down keys

Same problem here. When I scroll using up/down keys, the tab loses focus at intervals and causes the keys to stop working. This is indeed very annoying! I am using...

A redundant proof section appears when the appendix is not inline

@PierreSenellart Thanks a lot for the explanations and workarounds! Using `\input` instead of `\include` works for me. By the way, I just noticed that newlines before the first `\section` or...