[gnome-music/wip/jfelder/devel-version: 9/9] app: Add a visual hint for the development version
- From: Jean Felder <jfelder src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-music/wip/jfelder/devel-version: 9/9] app: Add a visual hint for the development version
- Date: Tue, 24 Jul 2018 10:06:55 +0000 (UTC)
commit 2a000ccf4352a5473d44afbaa0b28b94b085d4e7
Author: Jean Felder <jfelder src gnome org>
Date: Wed Jun 27 22:04:02 2018 +0200
app: Add a visual hint for the development version
Add a specific style to Music when running in devel mode. It makes the
development version easily recognizable.
Closes: #185
data/application.css | 8 ++++++++
gnomemusic/application.py | 2 ++
2 files changed, 10 insertions(+)
---
diff --git a/data/application.css b/data/application.css
index 70837e8a..444ce66b 100644
--- a/data/application.css
+++ b/data/application.css
@@ -122,3 +122,11 @@ box#ArtistAlbumsWidget .artist-label {
.playing-song-label {
font-weight: bold;
}
+
+/* visual hint for development */
+.devel headerbar {
+ background: @theme_bg_color linear-gradient(to top,
+ alpha(@theme_selected_bg_color, 0.34),
+ alpha(@theme_selected_bg_color, 0.27) 2px,
+ alpha(@theme_selected_bg_color, 0.20) 3px);
+}
diff --git a/gnomemusic/application.py b/gnomemusic/application.py
index 707ce1b4..2d4926b1 100644
--- a/gnomemusic/application.py
+++ b/gnomemusic/application.py
@@ -113,6 +113,8 @@ class Application(Gtk.Application):
if not self._window:
self._window = Window(self)
self._window.set_default_icon_name(self._application_id)
+ if self._application_id == 'org.gnome.MusicDevel':
+ self._window.get_style_context().add_class('devel')
MediaPlayer2Service(self)
self._window.present()
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]