[gnome-text-editor] style: make map border radius fit better with window
- From: Christian Hergert <chergert src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-text-editor] style: make map border radius fit better with window
- Date: Mon, 28 Feb 2022 21:20:19 +0000 (UTC)
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]