From 1fb463f931e8daae02e906c06ae4768cdfd77f7c Mon Sep 17 00:00:00 2001 From: David Capello Date: Fri, 16 Mar 2018 11:03:50 -0300 Subject: [PATCH] Add option to export GIF for Twitter (#1220, #1252) --- data/pref.xml | 1 + data/strings/en.ini | 5 ++++ data/widgets/export_file.xml | 2 ++ src/app/commands/cmd_save_file.cpp | 3 +++ src/app/file/gif_format.cpp | 43 +++++++++++++++++++++++++++--- src/app/file/gif_format.h | 21 +++++++++++++++ src/app/ui/export_file_window.cpp | 7 +++++ src/app/ui/export_file_window.h | 1 + 8 files changed, 79 insertions(+), 4 deletions(-) create mode 100644 src/app/file/gif_format.h diff --git a/data/pref.xml b/data/pref.xml index 6133b7baf..a6847b35f 100644 --- a/data/pref.xml +++ b/data/pref.xml @@ -359,6 +359,7 @@