Last change
on this file since 17625 was
14711,
checked in by gkronber, 8 years ago
|
#2520
- renamed StorableClass -> StorableType
- changed persistence to use GUIDs instead of type names
|
File size:
1.4 KB
|
Rev | Line | |
---|
[3163] | 1 | <?xml version='1.0' encoding='utf-8'?>
|
---|
| 2 | <SettingsFile xmlns="http://schemas.microsoft.com/VisualStudio/2004/01/settings" CurrentProfile="(Default)" GeneratedClassNamespace="HeuristicLab.Optimizer.Properties" GeneratedClassName="Settings">
|
---|
| 3 | <Profiles />
|
---|
| 4 | <Settings>
|
---|
[14711] | 5 | <Setting Name="ShowStartPage" MemberSelection="System.Boolean" Scope="User">
|
---|
[3163] | 6 | <Value Profile="(Default)">True</Value>
|
---|
| 7 | </Setting>
|
---|
[14711] | 8 | <Setting Name="ShowOperatorsSidebar" MemberSelection="System.Boolean" Scope="User">
|
---|
[3290] | 9 | <Value Profile="(Default)">False</Value>
|
---|
| 10 | </Setting>
|
---|
[14711] | 11 | <Setting Name="ShowClipboard" MemberSelection="System.Boolean" Scope="User">
|
---|
[3292] | 12 | <Value Profile="(Default)">True</Value>
|
---|
| 13 | </Setting>
|
---|
[14711] | 14 | <Setting Name="ShowMaximized" MemberSelection="System.Boolean" Scope="User">
|
---|
[3768] | 15 | <Value Profile="(Default)">True</Value>
|
---|
| 16 | </Setting>
|
---|
[14711] | 17 | <Setting Name="CollapseClipboard" MemberSelection="System.Boolean" Scope="User">
|
---|
[3768] | 18 | <Value Profile="(Default)">True</Value>
|
---|
| 19 | </Setting>
|
---|
[14711] | 20 | <Setting Name="CollapseOperatorsSidebar" MemberSelection="System.Boolean" Scope="User">
|
---|
[3768] | 21 | <Value Profile="(Default)">False</Value>
|
---|
| 22 | </Setting>
|
---|
[14711] | 23 | <Setting Name="MainFormMemberSelection" MemberSelection="HeuristicLab.Optimizer.OptimizerMainFormMemberSelections" Scope="User">
|
---|
[6827] | 24 | <Value Profile="(Default)">DockingMainForm</Value>
|
---|
| 25 | </Setting>
|
---|
[3163] | 26 | </Settings>
|
---|
| 27 | </SettingsFile> |
---|
Note: See
TracBrowser
for help on using the repository browser.