Summary: 21 instances, 19 unique

Text	Count
// TODO abort background tasks	1
// TODO star current change	1
// TODO add more tabs, e.g. for change messages	1
// TODO show further change info, e.g. summary comments, hashtags,	1
// TODO show further file infos	1
// TODO check that query is valid	1
// TODO use StandardCharsets.UTF_8.name() with API level 19	1
// TODO use java.nio.charset.StandardCharsets.UTF_8 with API 19	1
// TODO use try-with-resources with API 19	2
// TODO the computation doesn't work when the min font size	1
// TODO works only for monospace font	1
// TODO skip current change	1
// TODO implement commentsAsList in REST API Client	1
// TODO extract animation into own class	1
// TODO use getResources().getColor(id, null) with API 23	2
// TODO make top/bottom heading smaller if there are no top/bottom	1
// TODO ignore current change	1
// TODO check server version (server must support labeled stars and	1
// TODO swipe animation doesn't look good on wide screens,	1