[gnome-text-editor] css: remove old CSS



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]