Tim Rae

There isn't a way to vote issues up and open source developers don't tend to work on features based on their popularity anyway (rather on issues that are fun or...

@michalpravda It's not possible to donate directly to AnkiDroid, but if there is a specific feature that you would like to incentivize developers to work on, there are sites where...

@Mike Hardy Yes, definitely interested in merging profile support if done right! On 12/12/2017 22:26, "Mike Hardy" wrote: > @timrae are you still interested in merging > changes to support...

I don't think that's something we'd want to change upstream in the script, but if it helps you to figure out the code then by all means. On 14/12/2017 04:19,...

@mikehardy > I can only think of one use case one would want parallel builds, and that’s to have separate decks etc so that they can simulate different profiles with...

Looks promising https://github.com/wasabeef/richeditor-android

It's not addressed because we're volunteers and nobody felt sufficiently motivated to do it. If it's an easy fix then I guess it should be easy for you to do...

FYI, here is the plugin app I was talking about: https://github.com/jkennethcarino/AnkiEditor

Hi as I mentioned on another pr today, while I'm happy to accept small patches for bug fixes, I don't really have time to actively maintain this project or take...

1) The stats provider PR still does not provide an API in the sense that the main add content API does, wrapping up all this content provider and cursor stuff...