Zooflow: Workspaces

This commit is contained in:
Jonathan Jenne
2022-05-30 15:46:26 +02:00
parent 6a1f8b77f7
commit fbffbc204e
16 changed files with 604 additions and 275 deletions

View File

@@ -4,11 +4,8 @@ Namespace DocumentResultList
Public Class Config
Public Property WindowLocation As Point
Public Property WindowSize As Size
Public Property SplitContainer1Distance As Integer = 500
Public Property SplitContainer1Horizontal As Boolean = True
Public Property SplitContainer2Distance As Integer = 250
Public Property SplitContainer2Horizontal As Boolean = False
Public Property GridFontSizeDelta As Integer = 0
Public Property SelectedWorkspace As String = Workspace.DEFAULT_WORKSPACE
End Class
End Namespace