Comparing 13fa1bf108..b0e486367e - cproof - CProof Git

devs/cproof

Author	SHA1	Message	Date
jabber.developer2	b0e486367e	ref(ui): use MIN utility method for code conciseness and clarity Some checks failed CI Code / Check coding style (pull_request) Successful in 30s Details CI Code / Check spelling (pull_request) Successful in 17s Details CI Code / Linux (debian) (pull_request) Has been cancelled Details CI Code / Code Coverage (pull_request) Has been cancelled Details CI Code / Linux (ubuntu) (pull_request) Has been cancelled Details CI Code / Linux (arch) (pull_request) Has been cancelled Details	2026-06-20 09:37:27 +00:00
jabber.developer2	adb078a3e2	fix(ui): reserve pad height per message to prevent multi-line clip and scroll desync Some checks failed CI Code / Check spelling (pull_request) Successful in 18s Details CI Code / Check coding style (pull_request) Successful in 30s Details CI Code / Code Coverage (pull_request) Successful in 3m24s Details CI Code / Linux (ubuntu) (pull_request) Successful in 4m54s Details CI Code / Linux (debian) (pull_request) Successful in 6m58s Details CI Code / Linux (arch) (pull_request) Successful in 7m7s Details CI Code / Check spelling (push) Successful in 16s Details CI Code / Check coding style (push) Successful in 32s Details CI Code / Code Coverage (push) Failing after 3m24s Details CI Code / Linux (debian) (push) Failing after 5m38s Details CI Code / Linux (ubuntu) (push) Failing after 5m51s Details CI Code / Linux (arch) (push) Failing after 7m38s Details A tall multi-line message printed near the bottom of the ncurses pad was clipped because _win_print_internal grew the pad from the current cursor only (_win_ensure_pad_capacity(getcury)), not the height of the message about to be printed. The clipped message's captured height (e.g. 1 row for a 49-row message) was wrong while win_redraw later rendered it in full; the resulting buffer->lines / y_start_pos mismatch desynced the page-up scroll anchor, producing a ~one-page jump when scrolling past such messages from history. Estimate the rendered height (hard newlines + soft-wrap over the usable width) and reserve that many rows before printing, so the message is never clipped and its captured height matches the redraw. All print paths go through _win_print_internal, so incoming/outgoing/history are covered. Regression from the upstream sync (`72f4f186d`), which replaced the fixed-size pad with the dynamic _win_ensure_pad_capacity model.	2026-06-20 11:59:19 +03:00

Diff Content Not Available