diff options
| author | Lex Neva <github.com@lexneva.name> | 2019-03-29 15:42:11 -0400 |
|---|---|---|
| committer | Lex Neva <github.com@lexneva.name> | 2019-03-29 20:19:25 -0400 |
| commit | 513850c975368f0e323e3cfc173398081245127a (patch) | |
| tree | 0ebbca7488c0f5331f61abbe21ad1e5be98c1a11 /lib/debug.py | |
| parent | 90a16fb7f9a44f4274d85cc693a51be9354737ec (diff) | |
add vertical travel edges for less jagged travel paths
Diffstat (limited to 'lib/debug.py')
| -rw-r--r-- | lib/debug.py | 15 |
1 files changed, 14 insertions, 1 deletions
diff --git a/lib/debug.py b/lib/debug.py index 13b2f2bc..fa3bd606 100644 --- a/lib/debug.py +++ b/lib/debug.py @@ -1,4 +1,5 @@ import atexit +from contextlib import contextmanager from datetime import datetime import os import socket @@ -80,7 +81,8 @@ class Debug(object): def add_layer(self, name="Debug"): layer = etree.Element("g", { INKSCAPE_GROUPMODE: "layer", - INKSCAPE_LABEL: name + INKSCAPE_LABEL: name, + "style": "display: none" }) self.svg.append(layer) self.current_layer = layer @@ -172,6 +174,17 @@ class Debug(object): self.close_group() + @contextmanager + def time_this(self, label="code block"): + if self.enabled: + start = time.time() + self.raw_log("begin %s", label) + + yield + + if self.enabled: + self.raw_log("completed %s, duration = %s", label, time.time() - start) + debug = Debug() |
