Pratyush Yadav
Pratyush Yadav
Right now, tools can be added and deleted via the "Tools" menu, but they can't be edited. To edit a tool, you either need to change it in the .git/config...
Denton suggested on the list that I put my TODO list over here so other people can see it and maybe even fix them. So I'm writing some descriptions for...
Page refreshes when swiping down from top, like Chrome
The app still uses Holo style icons. Why not switch to Material Design. The rest of the UI is material
Creating this PR to use Azure pipelines. They don't work directly on my repo for some reason. Will close once the tests pass.
Hi, This PR fixes build failure on Amazon Linux 2 (and any other distro using glibc 2.26 or older). Further explanation is already in the commit message, which I have...
Commit 9cdd55b [0] in evil renamed evil--jumps-jumping-backward to evil--jumps-jump-command, along with some other refactoring. This causes better-jumper to cycle through the last two entries in a loop. Fix it by...