[gnome-builder/wip/gtk4-port: 756/1774] libide/editor: allow plugins to set gutter
- From: Christian Hergert <chergert src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-builder/wip/gtk4-port: 756/1774] libide/editor: allow plugins to set gutter
- Date: Mon, 11 Jul 2022 22:31:22 +0000 (UTC)
commit 9cb314fc09653eece428e5ec2ca6c314712d5eb9
Author: Christian Hergert <chergert redhat com>
Date: Tue Apr 26 17:59:02 2022 -0700
libide/editor: allow plugins to set gutter
src/libide/editor/ide-editor-page.c | 8 --------
1 file changed, 8 deletions(-)
---
diff --git a/src/libide/editor/ide-editor-page.c b/src/libide/editor/ide-editor-page.c
index 060bbc925..7dae8b0f7 100644
--- a/src/libide/editor/ide-editor-page.c
+++ b/src/libide/editor/ide-editor-page.c
@@ -425,14 +425,6 @@ ide_editor_page_init (IdeEditorPage *self)
menu = ide_application_get_menu_by_id (IDE_APPLICATION_DEFAULT, "ide-source-view-popup-menu");
ide_source_view_append_menu (self->view, G_MENU_MODEL (menu));
- /* Until we get the omnigutter in place */
- gutter = gtk_source_view_get_gutter (GTK_SOURCE_VIEW (self->view),
- GTK_TEXT_WINDOW_LEFT);
- renderer = g_object_new (IDE_TYPE_LINE_CHANGE_GUTTER_RENDERER,
- "width-request", 2,
- NULL);
- gtk_source_gutter_insert (gutter, renderer, 100);
-
/* Add gutter changes to the overview map */
gutter = gtk_source_view_get_gutter (GTK_SOURCE_VIEW (self->map),
GTK_TEXT_WINDOW_LEFT);
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]