Workspace: Add TabBarPaddingStart and TabBarPaddingEnd properties.

[GB.FORM.MDI]
* NEW: Workspace: Add TabBarPaddingStart and TabBarPaddingEnd properties. They allow to define space on the left and the right of the tab bar, so that you can put some widgets on top.

comp/src/gb.form.mdi/.component

@@ -1,6 +1,6 @@
 [Component]
 Key=gb.form.mdi
-Version=3.12.90
+Version=3.14.90
 Authors=Benoît Minisini
 Needs=Form
 Requires=gb.form,gb.settings

comp/src/gb.form.mdi/.project

@@ -2,7 +2,7 @@
 Title=Multiple document interface management
 Startup=FMain
 Icon=.hidden/control/workspace.png
-Version=3.12.90
+Version=3.14.90
 VersionFile=1
 Component=gb.image
 Component=gb.gui

comp/src/gb.form.mdi/.src/Workspace/FWorkspace.class

@@ -977,19 +977,12 @@ Public Sub SetImage(hImage As Image)
   
 End
 
-Public Sub SetFont(hFont As Font)
+Public Sub GetTabPanel() As TabPanel
   
-  tabWorkspace.TextFont = hFont
+  Return tabWorkspace
   
 End
 
-Public Sub GetFont() As Font
-  
-  Return tabWorkspace.TextFont
-  
-End
-
-
 Public Sub tabWorkspace_Move(Source As Integer, Target As Integer)
 
   Dim hWindow As CWindow

comp/src/gb.form.mdi/.src/Workspace/Workspace.class

@@ -25,6 +25,8 @@ Property Image As Image
 Property Picture As Picture
 Property CloseWithMouse As Boolean
 Property CloseButton As Boolean ''if false the close all tabs button is not shown
+Property TabBarPaddingStart As Integer
+Property TabBarPaddingEnd As Integer
 
 Static Private $bPictureWarning As Boolean
 
@@ -159,13 +161,13 @@ End
 
 Private Function Font_Read() As Font
 
-  Return $hWorkspace.GetFont()
+  Return $hWorkspace.GetTabPanel().Font
 
 End
 
 Private Sub Font_Write(Value As Font)
 
-  $hWorkspace.SetFont(Value)
+  $hWorkspace.GetTabPanel().Font = Value
 
 End
 
@@ -273,4 +275,28 @@ Private Sub CloseButton_Write(Value As Boolean)
 
   $hWorkspace.CloseButton = Value
 
-End
+End
+
+Private Function TabBarPaddingStart_Read() As Integer
+
+  Return $hWorkspace.GetTabPanel().TabBarPaddingStart
+
+End
+
+Private Sub TabBarPaddingStart_Write(Value As Integer)
+
+  $hWorkspace.GetTabPanel().TabBarPaddingStart = Value
+
+End
+
+Private Function TabBarPaddingEnd_Read() As Integer
+
+  Return $hWorkspace.GetTabPanel().TabBarPaddingEnd
+
+End
+
+Private Sub TabBarPaddingEnd_Write(Value As Integer)
+
+  $hWorkspace.GetTabPanel().TabBarPaddingEnd = Value
+
+End