remove timer

Author: willmcgugan

rich/_timer.py

@@ -0,0 +1,13 @@
+from time import time
+
+import contextlib
+
+
+@contextlib.contextmanager
+def timer(subject: str = "time"):  # pragma: no cover
+    """print the elapsed time. (only used in debugging)"""
+    start = time()
+    yield
+    elapsed = time() - start
+    elapsed_ms = elapsed * 1000
+    print(f"{subject} elapsed {elapsed_ms:.1f}ms")

rich/syntax.py

@@ -27,8 +27,7 @@
 from .jupyter import JupyterMixin
 from .measure import Measurement
 from .style import Style
-from .text import Span, Text
-from ._timer import timer
+from .text import Text
 
 TokenType = Tuple[str, ...]
 
@@ -670,5 +669,4 @@ def __rich_console__(
             background_color=args.background_color,
             indent_guides=args.indent_guides,
         )
-    with timer():
-        console.print(syntax, soft_wrap=args.soft_wrap)
+    console.print(syntax, soft_wrap=args.soft_wrap)

rich/traceback.py

@@ -10,20 +10,12 @@
 from typing import Callable, Dict, Iterable, List, Optional, Type
 
 from pygments.lexers import guess_lexer_for_filename
-from pygments.token import (
-    Comment,
-    Keyword,
-    Name,
-    Number,
-    Operator,
-    String,
-    Token,
-    Text as TextToken,
-)
+from pygments.token import Comment, Keyword, Name, Number, Operator, String
+from pygments.token import Text as TextToken
+from pygments.token import Token
 
 from . import pretty
 from ._loop import loop_first, loop_last
-from ._timer import timer
 from .columns import Columns
 from .console import (
     Console,