~nathandyer/+junk/ugly-headerbar-text

« back to all changes in this revision

Viewing changes to src/Widgets/PlaybackBox.vala

  • Committer: Nathan Dyer
  • Date: 2014-08-30 01:53:55 UTC
  • Revision ID: mail@nathandyer.me-20140830015355-1mjdoqc1oai9rllp
Removec the workarounds to make episode text look better in the dark elementary theme.

Show diffs side-by-side

added added

removed removed

Lines of Context:
37
37
            this.info_label = new Gtk.Label(_("<b>Select an episode to start playing...</b>"));
38
38
            this.info_label.set_use_markup(true);
39
39
            
40
 
            // Temporary work around due to a bug in the elementary dark theme
41
 
            this.info_label.sensitive = false;
42
40
            
43
41
            this.progress_bar = new Gtk.ProgressBar();
44
42
            
49
47
            leftTime = new Gtk.Label ("0:00");
50
48
            rightTime = new Gtk.Label ("0:00");
51
49
            
52
 
            leftTime.sensitive = false;
53
 
            rightTime.sensitive = false;
54
 
            
55
50
            scale.change_value.connect(on_slide);
56
51
                  
57
52
            // Create the scale, and attach the time labels to the appropriate sides 
94
89
                leftTime.set_text("%02d:%02d".printf(mins_elapsed, secs_elapsed));
95
90
            }
96
91
            
97
 
            // Temporary work around due to a bug in the elementary dark theme
98
 
            this.leftTime.sensitive = false;
99
 
            this.rightTime.sensitive = false;
100
92
        }
101
93
        
102
94
        /*
114
106
            this.info_label.set_text("<b>" + GLib.Markup.escape_text(episode) + "</b>" + " from " + "<b><i>" + GLib.Markup.escape_text(podcast_name) + "</i></b>");
115
107
            this.info_label.set_use_markup(true);
116
108
            
117
 
            // Temporary work around due to a bug in the elementary dark theme
118
 
            this.info_label.sensitive = false;
119
109
            
120
110
        }
121
111