| Index: third_party/typ/typ/printer.py
|
| diff --git a/third_party/typ/typ/printer.py b/third_party/typ/typ/printer.py
|
| new file mode 100644
|
| index 0000000000000000000000000000000000000000..473537b1181d4a6ac378242fcbd607b7e4defd16
|
| --- /dev/null
|
| +++ b/third_party/typ/typ/printer.py
|
| @@ -0,0 +1,40 @@
|
| +# Copyright 2014 Dirk Pranke. All rights reserved.
|
| +#
|
| +# Licensed under the Apache License, Version 2.0 (the "License");
|
| +# you may not use this file except in compliance with the License.
|
| +# You may obtain a copy of the License at
|
| +#
|
| +# http://www.apache.org/licenses/LICENSE-2.0
|
| +#
|
| +# Unless required by applicable law or agreed to in writing, software
|
| +# distributed under the License is distributed on an "AS IS" BASIS,
|
| +# WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
| +# See the License for the specific language governing permissions and
|
| +# limitations under the License.
|
| +
|
| +
|
| +class Printer(object):
|
| +
|
| + def __init__(self, print_, should_overwrite, cols):
|
| + self.print_ = print_
|
| + self.should_overwrite = should_overwrite
|
| + self.cols = cols
|
| + self.last_line = ''
|
| +
|
| + def flush(self):
|
| + if self.last_line:
|
| + self.print_('')
|
| + self.last_line = ''
|
| +
|
| + def update(self, msg, elide=True):
|
| + msg_len = len(msg)
|
| + if elide and self.cols and msg_len > self.cols - 5:
|
| + new_len = int((self.cols - 5) / 2)
|
| + msg = msg[:new_len] + '...' + msg[-new_len:]
|
| + if self.should_overwrite and self.last_line:
|
| + self.print_('\r' + ' ' * len(self.last_line) + '\r', end='')
|
| + elif self.last_line:
|
| + self.print_('')
|
| + self.print_(msg, end='')
|
| + last_nl = msg.rfind('\n')
|
| + self.last_line = msg[last_nl + 1:]
|
|
|