xaizek / dit (License: GPLv3) (since 2018-12-07)
Command-line task keeper that remembers all old values and is meant to combine several orthogonal features to be rather flexible in managing items.
Commit e297f7142899961d71d3570e23015720cd8b0dfd

Reduce limit for spawning pager by one row
Shell prompt is usually one line, so `ROWS - 1` will cause pager to be
spawned when at least one line of output would be hidden.

We don't have any means for accounting for two or more line prompts,
although there could be a confirmation for this (like number of reserved
lines with `1` as a default.
Author: xaizek
Author date (UTC): 2018-10-31 20:18
Committer name: xaizek
Committer date (UTC): 2018-10-31 20:20
Parent(s): 311db51b9e99d1c486d8ddf1d064727e674e2a50
Signing key: 99DC5E4DB05F6BE2
Tree: 394a16b4208548e80db65e2e1a6ca85d6d4b7ae6
File Lines added Lines deleted
src/integration.cpp 1 1
File src/integration.cpp changed (mode: 100644) (index ae6c5eb..32ab21a)
... ... using ScreenPageBuffer = PagerRedirect::ScreenPageBuffer;
186 186 ScreenPageBuffer::ScreenPageBuffer(const std::string &pagerCmd, ScreenPageBuffer::ScreenPageBuffer(const std::string &pagerCmd,
187 187 unsigned int screenHeight, unsigned int screenHeight,
188 188 io::stream_buffer<io::file_descriptor_sink> *out) io::stream_buffer<io::file_descriptor_sink> *out)
189 : pagerCmd(pagerCmd), screenHeight(screenHeight), out(out)
189 : pagerCmd(pagerCmd), screenHeight(screenHeight - 1U), out(out)
190 190 { {
191 191 } }
192 192
Hints

Before first commit, do not forget to setup your git environment:
git config --global user.name "your_name_here"
git config --global user.email "your@email_here"

Clone this repository using HTTP(S):
git clone https://code.reversed.top/user/xaizek/dit

Clone this repository using ssh (do not forget to upload a key first):
git clone ssh://rocketgit@code.reversed.top/user/xaizek/dit

You are allowed to anonymously push to this repository.
This means that your pushed commits will automatically be transformed into a pull request:
... clone the repository ...
... make some changes and some commits ...
git push origin master