| commit | 355a07bbce710181af6d775a03a621543534123d | [log] [tgz] |
|---|---|---|
| author | Benno Schulenberg <bensberg@justemail.net> | Tue Feb 28 16:53:51 2017 +0100 |
| committer | Benno Schulenberg <bensberg@justemail.net> | Tue Feb 28 17:07:38 2017 +0100 |
| tree | ed34d179b45b72822fe590981bbd64b4a03e986c | |
| parent | 0404474ec24be4b3e2c8f56c4f304541b6253142 [diff] |
tweaks: don't optimize for the wrong case Running strlenpt() on a string that takes up more than 80 columns (the width of an average terminal) takes /more/ time than simply converting an extra character (the one that will be overwritten by the "$" at the edge of the terminal). So... just convert one more character than necessary when the line is overlong. In the most common case, however, the line will fit fully onscreen, and we save a whole call of strlenpt().