diff -r f10b0c32a85d -r 1fffb24d4ffe src/documentmanager.cpp
--- a/src/documentmanager.cpp	Sat Mar 24 13:42:34 2018 +0200
+++ b/src/documentmanager.cpp	Sat Mar 24 13:48:50 2018 +0200
@@ -170,31 +170,6 @@
 	return nullptr;
 }
 
-QString Dirname (QString path)
-{
-	int lastpos = path.lastIndexOf (DIRSLASH);
-
-	if (lastpos > 0)
-		return path.left (lastpos);
-
-#ifndef _WIN32
-	if (path[0] == DIRSLASH_CHAR)
-		return DIRSLASH;
-#endif // _WIN32
-
-	return "";
-}
-
-QString Basename (QString path)
-{
-	int lastpos = path.lastIndexOf (DIRSLASH);
-
-	if (lastpos != -1)
-		return path.mid (lastpos + 1);
-
-	return path;
-}
-
 QString DocumentManager::findDocument(QString name) const
 {
 	name = name.replace("\\", "/");