Commit 78241c0c authored by Mathieu Giraud's avatar Mathieu Giraud

js/list.js, js/segmenter.js: display short name on the left panels

Note that the full name is still used both o, the tooltip ('title')
and when one edits the name. The full name is also displayed in
the central status bar.
parent a07b4635
......@@ -388,7 +388,7 @@ List.prototype = {
span_name.onclick = function (e) {
self.clickList(e, cloneID);
}
span_name.appendChild(document.createTextNode(this.m.clone(cloneID).getName()));
span_name.appendChild(document.createTextNode(this.m.clone(cloneID).getShortName()));
span_name.title = this.m.clone(cloneID).getName();
span_name.style.color = this.m.clone(cloneID).getColor();
......
......@@ -441,7 +441,7 @@ Segment.prototype = {
self.m.clone(cloneID).unselect();
self.aligned = false;
}
seq_name.appendChild(document.createTextNode(this.m.clone(cloneID).getName()));
seq_name.appendChild(document.createTextNode(this.m.clone(cloneID).getShortName()));
seq_name.title = this.m.clone(cloneID).getName();
seq_name.style.color = this.m.clone(cloneID).color;
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment