-
Germán Poo-Caamaño authored
When there are multiple copies of a file with similar name, it is desirable to distinguish between them. We add their location as a tooltip because it is unobtrusive. Fixes #214
97c8f3c6
When there are multiple copies of a file with similar name, it is desirable to distinguish between them. We add their location as a tooltip because it is unobtrusive. Fixes #214