diff options
| author | David Peter <sharkdp@users.noreply.github.com> | 2024-02-24 20:36:17 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-02-24 20:36:17 +0100 |
| commit | 6f69682552a46314b5cfbe229ce6da52f14b229a (patch) | |
| tree | 7c0904370f412dbc0405b75a7fedae3385fd2292 /src/config.rs | |
| parent | e1a3fc5529d55abc73aa5fb18368d22f9b9bb71c (diff) | |
| parent | bc5beaec5da357f5cf44e468079d11ec3174b828 (diff) | |
Merge pull request #2665 from einfachIrgendwer0815/feature_squeeze
Add `-s`/`--squeeze` and `--squeeze-limit` (based on #1441).
Diffstat (limited to 'src/config.rs')
| -rw-r--r-- | src/config.rs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/config.rs b/src/config.rs index c5cc2abd..0298bb2a 100644 --- a/src/config.rs +++ b/src/config.rs @@ -97,6 +97,9 @@ pub struct Config<'a> { // Weather or not to set terminal title when using a pager pub set_terminal_title: bool, + + /// The maximum number of consecutive empty lines to display + pub squeeze_lines: Option<usize>, } #[cfg(all(feature = "minimal-application", feature = "paging"))] |