123456789101112131415161718192021222324252627282930313233343536373839 |
- using System;
- using System.Collections.Generic;
- using InABox.Configuration;
- using InABox.Core;
- using InABox.DynamicGrid;
- namespace PRSDesktop;
- public class ReservationManagementUserSettings : IUserConfigurationSettings
- {
- [Obsolete]
- private CoreFilterDefinition? _currentFilter;
- private double substitutionGridHeight = 200.0;
- [Obsolete]
- public CoreFilterDefinition? CurrentFilter
- {
- get => _currentFilter;
- set
- {
- if (value is not null)
- {
- Filters = new DynamicGridSelectedFilterSettings(new List<ICoreFilterDefinition> { value }, false, null);
- }
- }
- }
- public DynamicGridSelectedFilterSettings Filters { get; set; } = new();
-
- public bool SubstituteFreeStockOnly { get; set; } = false;
- public bool SubstituteUpdateStyle { get; set; } = false;
- public double SubstitutionGridHeight
- {
- get => double.IsNaN(substitutionGridHeight) ? 200.0 : substitutionGridHeight;
- set => substitutionGridHeight = value;
- }
- }
|