[gnome-text-editor] css: remove old CSS
- From: Christian Hergert <chergert src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-text-editor] css: remove old CSS
- Date: Tue, 30 Nov 2021 20:35:28 +0000 (UTC)
commit cf0b22c2cc9a1056f0213d33232ee8b9da988595
Author: Christian Hergert <chergert redhat com>
Date: Tue Nov 30 12:35:24 2021 -0800
css: remove old CSS
The preferences window is gone (but might be re-introduced differently).
src/TextEditor.css | 24 ------------------------
1 file changed, 24 deletions(-)
---
diff --git a/src/TextEditor.css b/src/TextEditor.css
index e59dd54..e1ebd09 100644
--- a/src/TextEditor.css
+++ b/src/TextEditor.css
@@ -1,27 +1,3 @@
-/* EditorPreferencesWindow */
-
-.org-gnome-TextEditor.preferences frame {
- border-radius: 5px;
- background: @content_view_bg;
-}
-.org-gnome-TextEditor.preferences list {
- background: transparent;
-}
-.org-gnome-TextEditor.preferences list row {
- border-bottom: 1px solid alpha(@borders, .4);
-}
-.org-gnome-TextEditor.preferences list row:last-child {
- border-bottom: none;
-}
-
-.org-gnome-TextEditor.preferences .horizontal.linked .radio.text-button {
- padding: 0;
-}
-.org-gnome-TextEditor.preferences .horizontal.linked .radio.text-button label {
- padding: 4px 12px 4px 12px;
-}
-
-
/* EditorWindow */
.org-gnome-TextEditor positionlabel label {
font-feature-settings: "tnum";
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]