[gtk/1140-gtk_printer_get_hard_margins_for_paper_size-is-not-external] gtkprinter: Make gtk_printer_get_hard_margins_for_paper_size() public

[Kjell Ahlstedt <kjellahl src gnome org>]

commit 6c8988e445dd1c42a49245d216faf083b206afc0
Author: Kjell Ahlstedt <kjellahlstedt gmail com>
Date:   Wed Jul 4 18:40:33 2018 +0200

    gtkprinter: Make gtk_printer_get_hard_margins_for_paper_size() public
    
    The declaration in gtkprinter.h shall be preceded by GDK_AVAILABLE_IN_ALL,
    or else the function can't be used in application programs.
    
    Closes #1140

 gtk/gtkprinter.h | 1 +
 1 file changed, 1 insertion(+)
---
diff --git a/gtk/gtkprinter.h b/gtk/gtkprinter.h
index 205d04fb65..b8bd1eb484 100644
--- a/gtk/gtkprinter.h
+++ b/gtk/gtkprinter.h
@@ -164,6 +164,7 @@ gboolean                 gtk_printer_get_hard_margins      (GtkPrinter       *pr
                                                             gdouble          *bottom,
                                                             gdouble          *left,
                                                             gdouble          *right);
+GDK_AVAILABLE_IN_ALL
 gboolean                 gtk_printer_get_hard_margins_for_paper_size (GtkPrinter       *printer,
                                                                      GtkPaperSize     *paper_size,
                                                                      gdouble          *top,