Datei-Namen schneller kopieren
Nicht selten braucht man den Namen einer Datei als Text – etwa, um ihn an jemand anderen zu senden. Wird die Datei allerdings kopiert, landet ihr Inhalt und nicht der Name am Ziel. Mit diesem Trick lässt sich der Name einer Datei schneller kopieren.
