Server/DisplaySettings.cs
changeset 100 7e02ac8b13ba
parent 57 544132d07c3b
child 106 32270ff62819
     1.1 --- a/Server/DisplaySettings.cs	Fri Jan 23 15:20:32 2015 +0100
     1.2 +++ b/Server/DisplaySettings.cs	Fri Jan 23 18:33:51 2015 +0100
     1.3 @@ -27,6 +27,9 @@
     1.4              InverseColors = true;
     1.5              ShowBorders = false;
     1.6              FontName = "Microsoft Sans Serif, 9.75pt";
     1.7 +            ScaleToFit = true;
     1.8 +            MinFontSize = 15.0f;
     1.9 +            Separator = "    ";
    1.10          }
    1.11  
    1.12          [DataMember]
    1.13 @@ -51,6 +54,15 @@
    1.14          public bool ShowBorders { get; set; }
    1.15  
    1.16          [DataMember]
    1.17 +        public bool ScaleToFit { get; set; }
    1.18 +
    1.19 +        [DataMember]
    1.20 +        public float MinFontSize { get; set; }
    1.21 +
    1.22 +        [DataMember]
    1.23 +        public string Separator { get; set; }
    1.24 +
    1.25 +        [DataMember]
    1.26          public string FontName { get; set; }
    1.27  
    1.28          public Font Font
    1.29 @@ -72,7 +84,7 @@
    1.30  
    1.31  
    1.32      /// <summary>
    1.33 -    /// Contain settings for each of our display type. 
    1.34 +    /// Contain settings for each of our display type.
    1.35      /// </summary>
    1.36      [TypeConverter(typeof(DisplaySettingsConverter))]
    1.37      [DataContract]
    1.38 @@ -125,7 +137,7 @@
    1.39          {
    1.40              string stringValue = value as string;
    1.41              if (stringValue != null)
    1.42 -            {   
    1.43 +            {
    1.44                  //Load settings form JSON string
    1.45                  byte[] byteArray = Encoding.UTF8.GetBytes(stringValue);
    1.46                  MemoryStream stream = new MemoryStream(byteArray);