[gnome-text-editor] style: make map border radius fit better with window



commit 17bb7795bd5e46502aa44e2378b99ab26322c858
Author: Christian Hergert <christian hergert me>
Date:   Mon Feb 28 13:03:17 2022 -0800

    style: make map border radius fit better with window
    
    These are a bit delicate and if they're off it drives my OCD. This was
    tested on the macOS backend, and needs verification on Linux, but it should
    be the same.

 src/editor-page.ui |  3 ---
 src/style.css      | 13 +++++++------
 2 files changed, 7 insertions(+), 9 deletions(-)
---
diff --git a/src/editor-page.ui b/src/editor-page.ui
index 4787d72..8829879 100644
--- a/src/editor-page.ui
+++ b/src/editor-page.ui
@@ -47,9 +47,6 @@
                     <property name="hexpand">false</property>
                     <property name="visible">false</property>
                     <property name="view">view</property>
-                    <style>
-                      <class name="source-map"/>
-                    </style>
                   </object>
                 </child>
               </object>
diff --git a/src/style.css b/src/style.css
index fb97521..fe645f3 100644
--- a/src/style.css
+++ b/src/style.css
@@ -106,21 +106,22 @@ window.org-gnome-TextEditor page .searchbar button.flat.circular {
   padding: 3px;
 }
 
-textview.source-map slider {
-  border-radius: 7px;
-  margin: 0 3px;
+textview.GtkSourceMap slider {
+  border-radius: 9px;
+  margin: 0 3px 0 2px;
 }
 
-textview.source-map {
+textview.GtkSourceMap {
   font-family: BuilderBlocks;
   font-size: 1.75pt;
   line-height: 5px;
   opacity: 0.75;
+  margin: 1px 0 2px 0;
 }
-textview.source-map:dir(ltr) {
+textview.GtkSourceMap:dir(ltr) {
   border-left: 1px solid @borders;
 }
-textview.source-map:dir(rtl) {
+textview.GtkSourceMap:dir(rtl) {
   border-right: 1px solid @borders;
 }
 


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]