Add Default Settings (#86)

elementary · Dec 5, 2021 · b9c4078 · b9c4078
1 parent 16fb17b
commit b9c4078
Show file tree

Hide file tree

Showing 2 changed files with 23 additions and 0 deletions.
diff --git a/data/platform.appdata.xml.in b/data/platform.appdata.xml.in
@@ -16,6 +16,7 @@
         <ul>
           <li>Rebase on GNOME 41 runtime</li>
           <li>Added elementary and freedesktop sound themes</li>
+          <li>Use the correct stylesheet on OS 5</li>
         </ul>
       </description>
     </release>

diff --git a/io.elementary.Sdk.json b/io.elementary.Sdk.json
@@ -160,6 +160,28 @@
                 }
             ]
         },
+        {
+            "name" : "platform-settings",
+            "buildsystem" : "simple",
+            "modules": [
+                {
+                    "name" : "default-gtk-settings",
+                    "buildsystem" : "simple",
+                    "sources" : [
+                        {
+                            "type": "git",
+                            "url": "https://github.com/elementary/default-settings.git"
+                        }
+                    ],
+                    "build-commands": [
+                        "install -Dm644 gtk/settings.ini /usr/etc/gtk-3.0/settings.ini"
+                    ]
+                }
+            ],
+            "build-commands": [
+                "ln -s /usr/share/themes/io.elementary.stylesheet.blueberry /usr/share/themes/elementary"
+            ]
+        },
         {
             "name" : "appdata",
             "buildsystem" : "meson",