[gnome-builder/wip/gtk4-port: 819/1774] plugins/omni-gutter: rendering tweaks

[Christian Hergert <chergert src gnome org>]

commit 8b04cf732e35ebe9ea52b6559ba6cff83c0b0268
Author: Christian Hergert <chergert redhat com>
Date:   Fri Apr 29 18:22:15 2022 -0700

    plugins/omni-gutter: rendering tweaks
    
    Need to remove margin to get it to line up correctly.

 src/libide/editor/ide-editor-page.ui               | 1 +
 src/plugins/omni-gutter/gbp-omni-gutter-renderer.c | 4 ++++
 2 files changed, 5 insertions(+)
---
diff --git a/src/libide/editor/ide-editor-page.ui b/src/libide/editor/ide-editor-page.ui
index bf688914d..0ec982e24 100644
--- a/src/libide/editor/ide-editor-page.ui
+++ b/src/libide/editor/ide-editor-page.ui
@@ -13,6 +13,7 @@
                 <property name="hexpand">true</property>
                 <property name="vexpand">true</property>
                 <property name="show-line-numbers">false</property>
+                <property name="left-margin">0</property>
                 <child>
                   <object class="GtkEventControllerFocus">
                     <signal name="enter" handler="ide_editor_page_focus_enter_cb" swapped="true" 
object="IdeEditorPage"/>
diff --git a/src/plugins/omni-gutter/gbp-omni-gutter-renderer.c 
b/src/plugins/omni-gutter/gbp-omni-gutter-renderer.c
index a7b521c89..7d2c35413 100644
--- a/src/plugins/omni-gutter/gbp-omni-gutter-renderer.c
+++ b/src/plugins/omni-gutter/gbp-omni-gutter-renderer.c
@@ -467,6 +467,10 @@ reload_style_colors (GbpOmniGutterRenderer *self,
   if (!get_style_rgba (scheme, "selection", BACKGROUND, &self->sel.bg))
     gtk_style_context_lookup_color (context, "theme_selected_bg_color", &self->sel.bg);
 
+  /* Make selection translucent like main area */
+  if (self->sel.bg.alpha == 1.)
+    self->sel.bg.alpha = .3;
+
   /* Extract common values from style schemes. */
   if (!get_style_rgba (scheme, "line-numbers", FOREGROUND, &self->text.fg))
     self->text.fg = fg;