fix(manager): type bug

MorvanZhou · May 19, 2024 · cf859da · cf859da
1 parent 4e75c36
commit cf859da
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/retk/controllers/schemas/manager.py b/src/retk/controllers/schemas/manager.py
@@ -35,7 +35,7 @@ class Settings(BaseModel):
             editorMode: str
             editorFontSize: int
             editorCodeTheme: str
-            editorSepRightWidth: int
+            editorSepRightWidth: float
             editorSideCurrentToolId: str
 
         id: str