Pause Button

* pauses topology and details panel updates
* buffers requests
* un-pause plays back the buffered requests
* automatically un-pauses when topology is changed, or other node is
  clicked (then discards buffer)

Fixes #1025
This commit is contained in:
David Kaltschmidt
2016-03-03 14:11:03 +01:00
parent b3c5dc0513
commit d7507cf67c
7 changed files with 195 additions and 7 deletions

View File

@@ -42,3 +42,5 @@ export function formatMetric(value, opts) {
const formatter = opts && formatters[opts.format] ? opts.format : 'number';
return formatters[formatter](value);
}
export const formatDate = d3.time.format.iso;