Searched refs:winsize (Results 1 – 1 of 1) sorted by relevance
177 let winsize = *CONTENT_WINSIZE.read().unwrap(); in scroll_up() localVariable186 if offset + winsize.rows as usize + count as usize >= linecount { in scroll_up()187 count = linecount as u16 - offset as u16 - winsize.rows; in scroll_up()191 self.cursor.move_to_row(winsize.rows - count)?; in scroll_up()