[gtk: 7/7] Merge branch 'no-app-menu' into 'master'

[Matthias Clasen <matthiasc src gnome org>]

commit 5e25ba6c5a7f6e2c410c902be59b6003ed5109ed
Merge: 0dc384265c 1038b9b8a1
Author: Matthias Clasen <mclasen redhat com>
Date:   Fri May 22 23:46:56 2020 +0000

    Merge branch 'no-app-menu' into 'master'
    
    Drop the app menu
    
    Closes #2731
    
    See merge request GNOME/gtk!1951

 demos/gtk-demo/application.c          |  10 +-
 demos/gtk-demo/appmenu.ui             |  18 ----
 demos/gtk-demo/demo.gresource.xml     |   1 -
 demos/gtk-demo/main.c                 |  18 ----
 demos/gtk-demo/menus.ui               |  63 ++++++------
 demos/print-editor/print-editor.c     |  36 ++++---
 docs/reference/gtk/gtk4-sections.txt  |   3 -
 docs/reference/gtk/migrating-3to4.xml |  11 ++
 examples/plugman.c                    |  42 ++++----
 examples/sunny.c                      |  39 ++++----
 gtk/gtkapplication.c                  | 183 +---------------------------------
 gtk/gtkapplication.h                  |   9 --
 gtk/gtkapplicationwindow.c            | 110 +-------------------
 gtk/inspector/object-tree.c           |   2 +-
 14 files changed, 117 insertions(+), 428 deletions(-)
---