[gnome-builder/wip/gtk4-port: 435/736] libide/editor: include line changes for overview map
- From: Christian Hergert <chergert src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-builder/wip/gtk4-port: 435/736] libide/editor: include line changes for overview map
- Date: Tue, 26 Apr 2022 01:46:27 +0000 (UTC)
commit 4a7d477643f1c7ea6993048a22f6acfc0a8dee8a
Author: Christian Hergert <chergert redhat com>
Date: Wed Apr 6 13:32:47 2022 -0700
libide/editor: include line changes for overview map
src/libide/editor/ide-editor-page.c | 8 ++++++++
1 file changed, 8 insertions(+)
---
diff --git a/src/libide/editor/ide-editor-page.c b/src/libide/editor/ide-editor-page.c
index 56f80be6f..c41564ed7 100644
--- a/src/libide/editor/ide-editor-page.c
+++ b/src/libide/editor/ide-editor-page.c
@@ -342,6 +342,14 @@ ide_editor_page_init (IdeEditorPage *self)
"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);
+ renderer = g_object_new (IDE_TYPE_LINE_CHANGE_GUTTER_RENDERER,
+ "width-request", 1,
+ NULL);
+ gtk_source_gutter_insert (gutter, renderer, 100);
}
GtkWidget *
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]