Server/DisplaySettings.cs
changeset 106 32270ff62819
parent 100 7e02ac8b13ba
child 115 5c61a13c4241
     1.1 --- a/Server/DisplaySettings.cs	Wed Feb 04 21:55:45 2015 +0100
     1.2 +++ b/Server/DisplaySettings.cs	Thu Feb 05 17:04:59 2015 +0100
     1.3 @@ -29,7 +29,8 @@
     1.4              FontName = "Microsoft Sans Serif, 9.75pt";
     1.5              ScaleToFit = true;
     1.6              MinFontSize = 15.0f;
     1.7 -            Separator = "    ";
     1.8 +            Separator = "   ";
     1.9 +			ScrollingSpeedInPixelsPerSecond = 64;
    1.10          }
    1.11  
    1.12          [DataMember]
    1.13 @@ -44,6 +45,9 @@
    1.14          [DataMember]
    1.15          public int TimerInterval { get; set; }
    1.16  
    1.17 +		[DataMember]
    1.18 +		public int ScrollingSpeedInPixelsPerSecond { get; set; }
    1.19 +
    1.20          [DataMember]
    1.21          public bool ReverseScreen { get; set; }
    1.22