diff options
| author | Kangwook Lee (이강욱) <pbzweihander@gmail.com> | 2021-06-09 23:33:59 +0900 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-06-09 10:33:59 -0400 |
| commit | 61f180c8314ec59b35453aeb9a32e63ec3f29145 (patch) | |
| tree | 49544fb8f1c32447b5e60cf9269d6a743291bf9c /src/options/set.rs | |
| parent | fb1d16ef44600c3cef496cb9e9c6ad61381f6192 (diff) | |
Add pager option for customizing pager without environment variables (#627)
* Add pager option
* Use config.pager for output
Diffstat (limited to 'src/options/set.rs')
| -rw-r--r-- | src/options/set.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/options/set.rs b/src/options/set.rs index a737fd4b..ef0a259c 100644 --- a/src/options/set.rs +++ b/src/options/set.rs @@ -165,6 +165,7 @@ pub fn set_options( line_numbers_right_format, line_numbers_right_style, line_numbers_zero_style, + pager, paging_mode, // Hack: plus-style must come before plus-*emph-style because the latter default // dynamically to the value of the former. |