[gnome-builder] plugins/history: remove history plugin

[Christian Hergert <chergert src gnome org>]

commit fae5b6ec738a5a1c357f8c532f37ab60222f81d1
Author: Christian Hergert <chergert redhat com>
Date:   Mon Jul 11 22:54:00 2022 -0700

    plugins/history: remove history plugin
    
    This is handled by the Vim support in GtkSourceView now, although if there
    is desire for it strongly we could implement it here again, although I'd
    want UI design for how we want it to work.

 .../history/gbp-history-editor-page-addin.c        | 367 -----------------
 .../history/gbp-history-editor-page-addin.h        |  31 --
 src/plugins/history/gbp-history-frame-addin.c      | 447 ---------------------
 src/plugins/history/gbp-history-frame-addin.h      |  34 --
 src/plugins/history/gbp-history-item.c             | 235 -----------
 src/plugins/history/gbp-history-item.h             |  39 --
 src/plugins/history/history-plugin.c               |  37 --
 src/plugins/history/history.gresource.xml          |   6 -
 src/plugins/history/history.plugin                 |   9 -
 src/plugins/history/meson.build                    |  14 -
 10 files changed, 1219 deletions(-)