[gnome-sound-recorder] UI Label Fixes



commit c66971d89f42cd2c9a541dd9db0b4f7a27e4f6ca
Author: Meg Ford <megford gnome org>
Date:   Fri Dec 26 22:51:05 2014 -0600

    UI Label Fixes
    
    Add margin to time label to avoid overlap during playback.
    Set Date Modified label to always show.

 src/mainWindow.js |    2 ++
 1 files changed, 2 insertions(+), 0 deletions(-)
---
diff --git a/src/mainWindow.js b/src/mainWindow.js
index 8f86fec..db23271 100644
--- a/src/mainWindow.js
+++ b/src/mainWindow.js
@@ -475,6 +475,7 @@ const MainView = new Lang.Class({
                 this.playTimeLabel = new Gtk.Label({ name: "PlayTimeLabel",
                                                      halign: Gtk.Align.START,
                                                      valign: Gtk.Align.END,
+                                                     margin_right: 15,
                                                      margin_top: 5 });
                 this.playTimeLabel.label = "0:00";
                 this._playLabelBox.pack_start(this.playTimeLabel, false, true, 0);
@@ -489,6 +490,7 @@ const MainView = new Lang.Class({
                                                          margin_top: 5 });
                 this.dateModifiedLabel.label = this._files[i].dateModified;
                 this.dateModifiedLabel.get_style_context().add_class('dim-label');
+                this.dateModifiedLabel.set_no_show_all(true);
                 this.rowGrid.attach(this.dateModifiedLabel, 3, 1, 6, 1);
                 this.dateModifiedLabel.show();
 


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]