[polari/wip/kunaljain/experimental-polari-search] Don't bold the channel name



commit 748233fd7f91a2f8046afc7e48923d51b4888533
Author: Kunaal Jain <kunaalus gmail com>
Date:   Sun Jun 19 19:42:36 2016 +0530

    Don't bold the channel name

 data/resources/result-list-row.ui |    2 +-
 src/mainWindow.js                 |    9 +++++----
 2 files changed, 6 insertions(+), 5 deletions(-)
---
diff --git a/data/resources/result-list-row.ui b/data/resources/result-list-row.ui
index f06a417..e8e7f54 100644
--- a/data/resources/result-list-row.ui
+++ b/data/resources/result-list-row.ui
@@ -17,7 +17,7 @@
                                 <property name="valign">baseline</property>
                                 <property name="label" translatable="0">Username</property>
                                 <attributes>
-                                    <attribute name="weight" value="bold"/>
+                                    <!-- <attribute name="weight" value="bold"/> -->
                                 </attributes>
                             </object>
                         </child>
diff --git a/src/mainWindow.js b/src/mainWindow.js
index d2eaabb..79a01b8 100644
--- a/src/mainWindow.js
+++ b/src/mainWindow.js
@@ -277,7 +277,8 @@ const MainWindow = new Lang.Class({
             let message = events[i].mms;
             let uid = events[i].id;
             let index = message.indexOf(this._keywords[0]);
-            let row = this._widgetMap[uid];
+            let row;
+            row = this._widgetMap[uid];
             for (let j = 0; j < this._keywords.length; j++) {
                 // log(this._keywords[j]);
                 index = Math.min(index, message.indexOf(this._keywords[j]));
@@ -290,13 +291,13 @@ const MainWindow = new Lang.Class({
                 widgetMap[uid] = row;
                 this._results.remove(row);
             } else {
-                let row = new ResultList.ResultRow();
-                row._content_label.label = message;
-                row._source_name.label = channel;
+                row = new ResultList.ResultRow();
+                row._source_name.label = channel.substring(1);
                 row._short_time_label.label = this._formatTimestamp(time);
                 row.uid = events[i].id;
                 widgetMap[uid] = row;
             }
+            row._content_label.label = message;
             // widgetMap[uid].get_children()[0].label = "..." + message.substring(index - 6);
         }
 


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