-
Committer:
Ludovico Pavesi
-
Date:
2016-05-03 11:29:47 UTC
-
Revision ID:
ludovico.pavesi@gmail.com-20160503112947-dbp13zc9uif0entb
Favorites finally work as before, except for deleting (still needs to be implemented)
Some extreme optimizations to prevent redrawing of favorites ListView in about 0.000001% of cases