Tomek K.

I want to maintain this project and I am trying to get touch with @stevschmid. I have already forked it and I am trying to compile it + update it...

COQ exited -1 on nvim launch

3

Trying to setup COQ with rustaceanvim + lspconfig. I was able to run :COQdep and update all and I cannot run :COQnow [My config](https://github.com/oc-tk/nvimcfg) I just want to have rust...

Keeps crashing ipad mini iOS 9.1

3

After fighting with app ids i got this error: keeps crashing: 2015-11-23 18:42:01.260 GammaTest[705:169251] First execution activation was NOT triggered 2015-11-23 18:42:10.380 GammaTest[705:169251] enabled: 1 2015-11-23 18:42:10.390 GammaTest[705:169251] Lock status:...

C# / .Net Docset

2

I would like to request this docset. Thank you for your great job. Regards TK

Not scaling properly on 4k monitor

1

So there are two issues: 1. Docset menu needs an option to make it bigger beacuse on 4k monitor (42 inch LG C2) when using search functionality I have to...