nicolas-raoul/Anki-Android — comment on commit f629d1648a7bcd893c40c4fa7e1567cd1d6f30e4
File:  line 0
By nobnago:

in the long run, we could think about introducing an own (themed) options menu. The framework is already there