[gnome-builder/gnome-builder-41] editor: add source-map style to overview map
- From: Christian Hergert <chergert src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-builder/gnome-builder-41] editor: add source-map style to overview map
- Date: Thu, 18 Nov 2021 20:23:21 +0000 (UTC)
commit b32ce77fa74d635f1348a899c73641a32bf1396d
Author: Christian Hergert <chergert redhat com>
Date: Thu Nov 18 12:22:24 2021 -0800
editor: add source-map style to overview map
src/libide/editor/ide-editor-page.ui | 3 +++
1 file changed, 3 insertions(+)
---
diff --git a/src/libide/editor/ide-editor-page.ui b/src/libide/editor/ide-editor-page.ui
index 1306575bc..7a4227383 100644
--- a/src/libide/editor/ide-editor-page.ui
+++ b/src/libide/editor/ide-editor-page.ui
@@ -114,6 +114,9 @@
<child>
<object class="GtkSourceMap" id="map">
<property name="visible">false</property>
+ <style>
+ <class name="source-map"/>
+ </style>
</object>
</child>
</object>
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]