settings_ui: Add line number settings controls (#15310)

This PR adds settings controls for the line numbers and relative line
numbers settings.

Release Notes:

- N/A
This commit is contained in:
Marshall Bowers
2024-07-26 18:31:45 -04:00
committed by GitHub
parent 4c9311ba40
commit bde02a350e
2 changed files with 111 additions and 1 deletions
+1 -1
View File
@@ -305,7 +305,7 @@ pub struct ScrollbarContent {
}
/// Gutter related settings
#[derive(Copy, Clone, Debug, Serialize, Deserialize, JsonSchema, PartialEq, Eq)]
#[derive(Copy, Clone, Debug, Default, Serialize, Deserialize, JsonSchema, PartialEq, Eq)]
pub struct GutterContent {
/// Whether to show line numbers in the gutter.
///