Go to file
2012-07-03 15:32:58 +02:00
src/apps/webpositive Better to darken the match color, this makes it visible also in non-selected 2012-07-03 15:32:58 +02:00