Derek Elkins

Using the `Uri` as the "identifier" of for the PDF is less than ideal as two different ways of accessing the same file will lead to different `Uri`s. It would...

I considered just using the preferences system, but this seems like an abuse of it and usage patterns (e.g. relatively heavy writes) seem like exactly the thing the Android docs...

I updated the pull request to identify the PDF based on a hash, however, it computes the hash synchronously so it can find the saved page before showing the PDF....

> MainActivity is already very big, could you try to extract the logic responsible for hashing and storing/retrieving the saved location in a background thread in a separate class? (a...

It wouldn't be too hard to populate the quickfix window based on the agda process rather than parsing the output of running agda. Agda can provide syntax highlighting information dynamically,...

I'll need to setup my Windows environment to be able to try this. I tend to use WSL on Windows nowadays for this sort of thing.

I'm pretty sure I don't handle this because I don't think I've seen this happen. Can you provide a simple example and the version of Agda you're using? It doesn't...

Okay, I'll try to reverse engineer an example based on what the Agda/Agsy code is.

I'm fine with accepting a pull request to add more entries to the agda-utf8.vim file. Adding the ability to toggle the whether the mappings are in force seems unnecessary and...

Testing with Python 3.8.3, vim 8.2, and Agda 2.6.1, this did not initially work. The issue was the handling of the include paths. Changing `vim.vars['agdavim_agda_includepathlist']` to `map(lambda bs: str(bs, 'utf-8'),...