Johannes Schickel 47edab71e8 GUI: Do an case-insensitive filename comparison.
Should be a bit safer, in case there's files with different cases, which match
by chance.
2012-01-06 22:27:26 +01:00
..
2012-01-06 15:38:29 +01:00
2012-01-01 11:49:41 +01:00
2011-06-03 16:16:38 +02:00
2011-12-12 22:04:09 +01:00