mirror of
https://github.com/RGBCube/serenity
synced 2025-07-26 22:07:36 +00:00
Terminal: Remove redundant scroll length settings option
This is no longer needed as a global one is now available under mouse settings.
This commit is contained in:
parent
fd945c8007
commit
7e457b98c3
4 changed files with 0 additions and 20 deletions
|
@ -89,7 +89,6 @@ public:
|
|||
|
||||
bool is_scrollable() const;
|
||||
int scroll_length() const;
|
||||
void set_scroll_length(int);
|
||||
|
||||
size_t max_history_size() const { return m_terminal.max_history_size(); }
|
||||
void set_max_history_size(size_t value) { m_terminal.set_max_history_size(value); }
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue