Public Git Hosting - yterm.git/commit

summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
(parent: aa3738d) | patch

commit	02015d4a0bb1cec99041b783a629fba6bfcb2ece
author	ketmar <>
	Thu, 12 Oct 2023 15:47:42 +0000 (12 15:47 +0000)
committer	ketmar <>
	Thu, 12 Oct 2023 15:47:42 +0000 (12 15:47 +0000)
tree	55ca12c97ca93439aa2a3fa4cf42f502315a45b9	tree \| snapshot (tar.gz zip)
parent	aa3738d12837e8b70640bae7137a91f9a6ec0ef2	commit \| diff

added history buffering: scrolling with history is much faster this way

FossilOrigin-Name: f6c75084d09b66a67bf21e8eb6a81fd9a8d377078fe32d3b0cc1e0ba44961e75

src/history.inc.c		diff \| blob \| blame \| history
src/menus.inc.c		diff \| blob \| blame \| history
src/term_lib.inc.c		diff \| blob \| blame \| history
src/term_lib_csi.inc.c		diff \| blob \| blame \| history
src/x11_keypress.inc.c		diff \| blob \| blame \| history
src/yterm_main.c		diff \| blob \| blame \| history

YTERM: emulator of a terminal emulator