1
Fork 0
mirror of https://github.com/RGBCube/serenity synced 2025-07-28 21:27:36 +00:00

TerminalSettings: Move scrollback settings from "Terminal" to "View"

The scrollback is really a property of the view, not the terminal.
This commit is contained in:
Andreas Kling 2023-03-03 10:50:46 +01:00
parent 3823f77d20
commit f6f62d7ff6
4 changed files with 60 additions and 60 deletions

View file

@ -96,4 +96,36 @@
}
}
}
@GUI::GroupBox {
title: "Scrollback"
preferred_height: "fit"
layout: @GUI::VerticalBoxLayout {
margins: [8]
spacing: 8
}
@GUI::Widget {
preferred_height: "shrink"
layout: @GUI::HorizontalBoxLayout {}
@GUI::SpinBox {
name: "history_size_spinbox"
min: 0
max: 40960
orientation: "Horizontal"
preferred_width: 100
}
@GUI::Label {
text: "lines"
autosize: true
}
}
@GUI::CheckBox {
name: "terminal_show_scrollbar"
text: "Show terminal scrollbar"
}
}
}