Nach der Installation von Mint KDE sind mir ein paar Kleinigkeiten bei der Benutzung des Dateimanagers aufgefallen die ich einmal in diesem Artikel unter dem Namen Dolphin Tipps zusammengefasst (...)