Styles: Add terminal style class

demo/Views/CSSView.vala

@@ -84,21 +84,6 @@ public class CSSView : DemoPage {
         card_box.append (card);
         card_box.append (card_checkered);
 
-        var terminal_label = new Granite.HeaderLabel ("\"terminal\" style class");
-
-        var terminal = new Gtk.Label ("[ 73%] Linking C executable granite-demo\n[100%] Built target granite-demo") {
-            selectable = true,
-            wrap = true,
-            xalign = 0,
-            yalign = 0
-        };
-
-        var terminal_scroll = new Gtk.ScrolledWindow () {
-            min_content_height = 70,
-            child = terminal
-        };
-        terminal_scroll.add_css_class (Granite.STYLE_CLASS_TERMINAL);
-
         var accent_color_label = new Granite.HeaderLabel ("Colored labels and icons");
 
         var accent_color_box = new Gtk.Box (HORIZONTAL, 6);
@@ -139,8 +124,6 @@ public class CSSView : DemoPage {
         };
         box.append (card_header);
         box.append (card_box);
-        box.append (terminal_label);
-        box.append (terminal_scroll);
         box.append (accent_color_label);
         box.append (accent_color_box);
         box.append (success_color_box);

lib/Constants.vala

@@ -131,6 +131,7 @@ namespace Granite {
      * When used with {@link Gtk.Label} this style includes internal padding. When used with {@link Gtk.TextView}
      * interal padding will need to be set with {@link Gtk.Container.border_width}
      */
+    [Version (deprecated = true, deprecated_since = "9.0.0")]
     public const string STYLE_CLASS_TERMINAL = "terminal";
     /**
      * Style class for title label text in a {@link Granite.MessageDialog}

lib/Styles/Granite/_classes.scss

@@ -48,3 +48,21 @@ paper {
     font-family: monospace;
 }
 
+.terminal {
+    font-family: monospace;
+
+    background-color: $fg-color;
+    color: bg-color(0);
+
+    padding: rem(12px) rem(18px);
+
+    & selection {
+        background-color: bg-color(0);
+        color: $fg-color;
+
+        &:backdrop {
+            // Cancelling values set in non-terminal selection
+            background-color: inherit;
+        }
+    }
+}

lib/Widgets/MessageDialog.vala

@@ -320,7 +320,9 @@ public class Granite.MessageDialog : Granite.Dialog {
                 min_content_height = 70,
                 child = details_view
             };
-            scroll_box.add_css_class (Granite.STYLE_CLASS_TERMINAL);
+            // This is an undocumented style in the Granite stylesheet, not
+            // intended to be used outside of a few system contexts 
+            scroll_box.add_css_class ("terminal");
 
             expander = new Gtk.Expander (_("Details")) {
                 child = scroll_box