plug-ins: port the GIF plug-in's UI file to GTK+ 3.x

and clean it up so things are properly packed again.

plug-ins: port the GIF plug-in's UI file to GTK+ 3.x
and clean it up so things are properly packed again.
a8226038 · Michael Natterer · 799f6b14 · a8226038
Commit a8226038 authored Dec 05, 2018 by Michael Natterer
Expand all Hide whitespace changes
Inline Side-by-side

Showing with 204 additions and 182 deletions

plug-in-file-gif.ui plug-ins/ui/plug-in-file-gif.ui +204 -182

No files found.
--- a/plug-ins/ui/plug-in-file-gif.ui
+++ b/plug-ins/ui/plug-in-file-gif.ui