From 76b5cc95466733c2c100a99127ecd4fbd4d2a5ec Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Corentin=20No=C3=ABl?= Date: Fri, 4 Oct 2019 00:01:57 +0200 Subject: [PATCH] ClipboardManager: cast the callback function (#1054) Fixes build with latest Vala --- src/ClipboardManager.vala | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/ClipboardManager.vala b/src/ClipboardManager.vala index 9e3d25791..3dd72e471 100644 --- a/src/ClipboardManager.vala +++ b/src/ClipboardManager.vala @@ -173,7 +173,7 @@ namespace Marlin { target_file, action, widget, - new_files_callback); + (Marlin.CopyCallback) new_files_callback); } /* clear the clipboard if it contained "cutted data"