Properties/Settings.settings
changeset 9 7c363a7a975e
parent 8 5129c03ab7ba
child 13 745d9ee1a2c0
     1.1 --- a/Properties/Settings.settings	Tue Jul 08 18:59:07 2014 +0200
     1.2 +++ b/Properties/Settings.settings	Tue Jul 08 20:02:12 2014 +0200
     1.3 @@ -8,5 +8,8 @@
     1.4      <Setting Name="DisplayFont" Type="System.Drawing.Font" Scope="User">
     1.5        <Value Profile="(Default)">Microsoft Sans Serif, 9.75pt</Value>
     1.6      </Setting>
     1.7 +    <Setting Name="DisplayShowBorders" Type="System.Boolean" Scope="User">
     1.8 +      <Value Profile="(Default)">False</Value>
     1.9 +    </Setting>
    1.10    </Settings>
    1.11  </SettingsFile>
    1.12 \ No newline at end of file