bring back n of m label

This commit is contained in:
Johannes Rieken 2016-06-07 15:21:20 +02:00
parent d1af0e657f
commit 85885ca900

View file

@ -169,6 +169,14 @@ class MarkerModel {
return { errors, others };
}
public get total() {
return this._markers.length;
}
public indexOf(marker: IMarker): number {
return 1 + this._markers.indexOf(marker);
}
public reveal(): void {
if (this._nextIdx === -1) {
@ -381,6 +389,9 @@ class MarkerNavigationWidget extends PeekViewWidget {
break;
}
// update meta title
this.setMetaTitle(nls.localize('', " {0}/{1}", this._model.indexOf(marker), this._model.total));
// update label and show
dom.clearNode(this._element);
this._element.appendChild(renderHtml(marker.message));