diff options
| author | Konstantin Pospelov <kupospelov@gmail.com> | 2018-05-19 18:15:25 +0300 |
|---|---|---|
| committer | Konstantin Pospelov <kupospelov@gmail.com> | 2018-05-19 18:39:01 +0300 |
| commit | fcc11f977102524d4f8fe78d60d9d99936b15b67 (patch) | |
| tree | f5af1cbf8fcf127fdf602c5392003521dfe165d9 /include/readline.h | |
| parent | 90ca0c8b2fb9d4a89e837ce7c5cdf60f6e40f274 (diff) | |
Fix pixel bar below title
This commit changes how the left and right indents are calculated for the
title bottom pixel bar, so that it is displayed properly in case the left or
right border is hidden.
Diffstat (limited to 'include/readline.h')
0 files changed, 0 insertions, 0 deletions