2017-07-05 11:41:19 +02:00
|
|
|
|
/*
|
2019-01-09 11:25:21 +01:00
|
|
|
|
* Copyright (c) 2019 ETH Zürich, Educational Development and Technology (LET)
|
2017-07-05 11:41:19 +02:00
|
|
|
|
*
|
|
|
|
|
* This Source Code Form is subject to the terms of the Mozilla Public
|
|
|
|
|
* License, v. 2.0. If a copy of the MPL was not distributed with this
|
|
|
|
|
* file, You can obtain one at http://mozilla.org/MPL/2.0/.
|
|
|
|
|
*/
|
|
|
|
|
|
2018-02-15 15:42:54 +01:00
|
|
|
|
using System;
|
2019-09-06 09:39:28 +02:00
|
|
|
|
using SafeExamBrowser.Settings.Browser;
|
|
|
|
|
using SafeExamBrowser.Settings.Logging;
|
|
|
|
|
using SafeExamBrowser.Settings.Monitoring;
|
|
|
|
|
using SafeExamBrowser.Settings.Service;
|
|
|
|
|
using SafeExamBrowser.Settings.SystemComponents;
|
|
|
|
|
using SafeExamBrowser.Settings.UserInterface;
|
|
|
|
|
|
|
|
|
|
namespace SafeExamBrowser.Settings
|
2017-07-05 11:41:19 +02:00
|
|
|
|
{
|
2018-03-06 11:38:12 +01:00
|
|
|
|
/// <summary>
|
2019-09-06 09:39:28 +02:00
|
|
|
|
/// Defines all settings for the application.
|
2018-03-06 11:38:12 +01:00
|
|
|
|
/// </summary>
|
2018-02-15 15:42:54 +01:00
|
|
|
|
[Serializable]
|
2019-09-06 09:39:28 +02:00
|
|
|
|
public class ApplicationSettings
|
2017-07-05 11:41:19 +02:00
|
|
|
|
{
|
2019-03-06 16:10:00 +01:00
|
|
|
|
/// <summary>
|
|
|
|
|
/// All action center-related settings.
|
|
|
|
|
/// </summary>
|
|
|
|
|
public ActionCenterSettings ActionCenter { get; set; }
|
|
|
|
|
|
2018-11-28 15:43:30 +01:00
|
|
|
|
/// <summary>
|
|
|
|
|
/// The hash code of the administrator password for the settings.
|
|
|
|
|
/// </summary>
|
|
|
|
|
public string AdminPasswordHash { get; set; }
|
|
|
|
|
|
2018-01-19 09:23:09 +01:00
|
|
|
|
/// <summary>
|
2019-05-22 15:16:50 +02:00
|
|
|
|
/// Determines whether any log information will be accessible via the user interface.
|
2018-01-19 09:23:09 +01:00
|
|
|
|
/// </summary>
|
2019-05-22 15:16:50 +02:00
|
|
|
|
public bool AllowApplicationLogAccess { get; set; }
|
2018-01-19 09:23:09 +01:00
|
|
|
|
|
2019-08-16 08:26:11 +02:00
|
|
|
|
/// <summary>
|
|
|
|
|
/// All audio-related settings.
|
|
|
|
|
/// </summary>
|
|
|
|
|
public AudioSettings Audio { get; set; }
|
|
|
|
|
|
2017-07-26 08:50:36 +02:00
|
|
|
|
/// <summary>
|
2017-07-28 14:52:15 +02:00
|
|
|
|
/// All browser-related settings.
|
2017-07-26 08:50:36 +02:00
|
|
|
|
/// </summary>
|
2018-02-15 15:42:54 +01:00
|
|
|
|
public BrowserSettings Browser { get; set; }
|
2017-07-26 08:50:36 +02:00
|
|
|
|
|
2019-05-22 15:16:50 +02:00
|
|
|
|
/// <summary>
|
|
|
|
|
/// The mode which determines the configuration behaviour.
|
|
|
|
|
/// </summary>
|
|
|
|
|
public ConfigurationMode ConfigurationMode { get; set; }
|
|
|
|
|
|
2017-08-04 12:19:56 +02:00
|
|
|
|
/// <summary>
|
|
|
|
|
/// All keyboard-related settings.
|
|
|
|
|
/// </summary>
|
2018-02-15 15:42:54 +01:00
|
|
|
|
public KeyboardSettings Keyboard { get; set; }
|
2017-08-04 12:19:56 +02:00
|
|
|
|
|
2018-01-30 14:41:36 +01:00
|
|
|
|
/// <summary>
|
|
|
|
|
/// The kiosk mode which determines how the computer is locked down.
|
|
|
|
|
/// </summary>
|
2018-02-15 15:42:54 +01:00
|
|
|
|
public KioskMode KioskMode { get; set; }
|
2018-01-30 14:41:36 +01:00
|
|
|
|
|
2019-01-23 08:12:15 +01:00
|
|
|
|
/// <summary>
|
|
|
|
|
/// The global log severity to be used.
|
|
|
|
|
/// </summary>
|
|
|
|
|
public LogLevel LogLevel { get; set; }
|
|
|
|
|
|
2017-07-12 15:36:30 +02:00
|
|
|
|
/// <summary>
|
2017-11-09 10:27:55 +01:00
|
|
|
|
/// All mouse-related settings.
|
2017-07-12 15:36:30 +02:00
|
|
|
|
/// </summary>
|
2018-02-15 15:42:54 +01:00
|
|
|
|
public MouseSettings Mouse { get; set; }
|
2017-07-12 15:36:30 +02:00
|
|
|
|
|
2019-01-10 10:04:30 +01:00
|
|
|
|
/// <summary>
|
|
|
|
|
/// The hash code of the quit password.
|
|
|
|
|
/// </summary>
|
|
|
|
|
public string QuitPasswordHash { get; set; }
|
|
|
|
|
|
2018-01-24 12:34:32 +01:00
|
|
|
|
/// <summary>
|
2019-06-20 10:55:24 +02:00
|
|
|
|
/// All service-related settings.
|
2018-01-24 12:34:32 +01:00
|
|
|
|
/// </summary>
|
2019-06-20 10:55:24 +02:00
|
|
|
|
public ServiceSettings Service { get; set; }
|
2018-01-24 12:34:32 +01:00
|
|
|
|
|
2017-11-09 10:27:55 +01:00
|
|
|
|
/// <summary>
|
|
|
|
|
/// All taskbar-related settings.
|
|
|
|
|
/// </summary>
|
2018-02-15 15:42:54 +01:00
|
|
|
|
public TaskbarSettings Taskbar { get; set; }
|
|
|
|
|
|
2019-01-11 08:25:40 +01:00
|
|
|
|
/// <summary>
|
2019-06-20 10:55:24 +02:00
|
|
|
|
/// The mode which determines the look & feel of the user interface.
|
2019-01-11 08:25:40 +01:00
|
|
|
|
/// </summary>
|
|
|
|
|
public UserInterfaceMode UserInterfaceMode { get; set; }
|
|
|
|
|
|
2019-09-06 09:39:28 +02:00
|
|
|
|
public ApplicationSettings()
|
2018-02-15 15:42:54 +01:00
|
|
|
|
{
|
2019-03-06 16:10:00 +01:00
|
|
|
|
ActionCenter = new ActionCenterSettings();
|
2019-08-16 08:26:11 +02:00
|
|
|
|
Audio = new AudioSettings();
|
2018-02-15 15:42:54 +01:00
|
|
|
|
Browser = new BrowserSettings();
|
|
|
|
|
Keyboard = new KeyboardSettings();
|
|
|
|
|
Mouse = new MouseSettings();
|
2019-06-20 10:55:24 +02:00
|
|
|
|
Service = new ServiceSettings();
|
2018-02-15 15:42:54 +01:00
|
|
|
|
Taskbar = new TaskbarSettings();
|
|
|
|
|
}
|
2017-07-05 11:41:19 +02:00
|
|
|
|
}
|
|
|
|
|
}
|