Rename annotation panel size editor setting

bonsai-rx · Jun 12, 2023 · 2035f80 · 2035f80
1 parent 44f8905
commit 2035f80
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 8 deletions.
diff --git a/Bonsai.Editor/EditorForm.cs b/Bonsai.Editor/EditorForm.cs
@@ -255,13 +255,13 @@ void RestoreEditorSettings()
             WindowState = EditorSettings.Instance.WindowState;
             themeRenderer.ActiveTheme = EditorSettings.Instance.EditorTheme;
             editorControl.AnnotationPanelSize = (int)Math.Round(
-                EditorSettings.Instance.WebViewSize * scaleFactor.Width);
+                EditorSettings.Instance.AnnotationPanelSize * scaleFactor.Width);
         }
 
         void CloseEditorForm()
         {
             Application.RemoveMessageFilter(hotKeys);
-            EditorSettings.Instance.WebViewSize = (int)Math.Round(
+            EditorSettings.Instance.AnnotationPanelSize = (int)Math.Round(
                 editorControl.AnnotationPanelSize * inverseScaleFactor.Width);
             var desktopBounds = WindowState != FormWindowState.Normal ? RestoreBounds : Bounds;
             EditorSettings.Instance.DesktopBounds = ScaleBounds(desktopBounds, inverseScaleFactor);

diff --git a/Bonsai.Editor/EditorSettings.cs b/Bonsai.Editor/EditorSettings.cs
@@ -20,7 +20,7 @@ sealed class EditorSettings
 
         internal EditorSettings(string path)
         {
-            WebViewSize = 400;
+            AnnotationPanelSize = 400;
             settingsPath = path;
         }
 
@@ -35,7 +35,7 @@ public static EditorSettings Instance
 
         public ColorTheme EditorTheme { get; set; }
 
-        public int WebViewSize { get; set; }
+        public int AnnotationPanelSize { get; set; }
 
         public RecentlyUsedFileCollection RecentlyUsedFiles
         {
@@ -69,10 +69,10 @@ static EditorSettings Load()
                                 Enum.TryParse(reader.ReadElementContentAsString(), out ColorTheme editorTheme);
                                 settings.EditorTheme = editorTheme;
                             }
-                            else if (reader.Name == nameof(WebViewSize))
+                            else if (reader.Name == nameof(AnnotationPanelSize))
                             {
-                                int.TryParse(reader.ReadElementContentAsString(), out int webViewSize);
-                                settings.WebViewSize = webViewSize;
+                                int.TryParse(reader.ReadElementContentAsString(), out int annotationPanelSize);
+                                settings.AnnotationPanelSize = annotationPanelSize;
                             }
                             else if (reader.Name == nameof(DesktopBounds))
                             {
@@ -119,7 +119,7 @@ public void Save()
                 writer.WriteStartElement(typeof(EditorSettings).Name);
                 writer.WriteElementString(nameof(WindowState), WindowState.ToString());
                 writer.WriteElementString(nameof(EditorTheme), EditorTheme.ToString());
-                writer.WriteElementString(nameof(WebViewSize), WebViewSize.ToString(CultureInfo.InvariantCulture));
+                writer.WriteElementString(nameof(AnnotationPanelSize), AnnotationPanelSize.ToString(CultureInfo.InvariantCulture));
 
                 writer.WriteStartElement(nameof(DesktopBounds));
                 writer.WriteElementString(nameof(Rectangle.X), DesktopBounds.X.ToString(CultureInfo.InvariantCulture));