Conrad Irwin
41cf114d8a
This reverts commit a2a7bd139a.
This caused themes to not load correctly on startup, you needed to edit
your settings.
Release Notes:
- N/A
29 lines
776 B
Rust
29 lines
776 B
Rust
use gpui::App;
|
|
use settings::Settings;
|
|
|
|
/// Settings for configuring REPL display and behavior.
|
|
#[derive(Clone, Debug)]
|
|
pub struct ReplSettings {
|
|
/// Maximum number of lines to keep in REPL's scrollback buffer.
|
|
/// Clamped with [4, 256] range.
|
|
///
|
|
/// Default: 32
|
|
pub max_lines: usize,
|
|
/// Maximum number of columns to keep in REPL's scrollback buffer.
|
|
/// Clamped with [20, 512] range.
|
|
///
|
|
/// Default: 128
|
|
pub max_columns: usize,
|
|
}
|
|
|
|
impl Settings for ReplSettings {
|
|
fn from_settings(content: &settings::SettingsContent, _cx: &mut App) -> Self {
|
|
let repl = content.repl.as_ref().unwrap();
|
|
|
|
Self {
|
|
max_lines: repl.max_lines.unwrap(),
|
|
max_columns: repl.max_columns.unwrap(),
|
|
}
|
|
}
|
|
}
|