Closed GoogleCodeExporter closed 6 years ago
Some more info could be provided in the status bar message: "Highlighted occurrences: 8 out of 20"
Original issue reported on code.google.com by sergey.s...@gmail.com on 15 Jan 2014 at 4:12
sergey.s...@gmail.com
Original issue reported on code.google.com by
sergey.s...@gmail.com
on 15 Jan 2014 at 4:12