ID: 0fd727d87ca9 Added by Andreas Schneider about 2 years ago
- Enable double buffering for the tile info label
View differences