2017-07-07 15:46:32 +02:00
|
|
|
|
/*
|
2018-01-16 08:24:00 +01:00
|
|
|
|
* Copyright (c) 2018 ETH Zürich, Educational Development and Technology (LET)
|
2017-07-07 15:46:32 +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/.
|
|
|
|
|
*/
|
|
|
|
|
|
2017-07-14 10:28:59 +02:00
|
|
|
|
using SafeExamBrowser.Contracts.I18n;
|
2017-07-07 15:46:32 +02:00
|
|
|
|
|
|
|
|
|
namespace SafeExamBrowser.Contracts.UserInterface
|
|
|
|
|
{
|
2018-01-30 14:41:36 +01:00
|
|
|
|
public interface ISplashScreen : IWindow
|
2017-07-07 15:46:32 +02:00
|
|
|
|
{
|
2017-07-12 15:36:30 +02:00
|
|
|
|
/// <summary>
|
2017-07-21 10:04:27 +02:00
|
|
|
|
/// Updates the progress bar of the splash screen according to the specified amount.
|
2017-07-12 15:36:30 +02:00
|
|
|
|
/// </summary>
|
2017-07-21 10:04:27 +02:00
|
|
|
|
void Progress(int amount = 1);
|
2017-07-12 15:36:30 +02:00
|
|
|
|
|
|
|
|
|
/// <summary>
|
2017-07-21 10:04:27 +02:00
|
|
|
|
/// Regresses the progress bar of the splash screen according to the specified amount.
|
|
|
|
|
/// </summary>
|
|
|
|
|
void Regress(int amount = 1);
|
|
|
|
|
|
|
|
|
|
/// <summary>
|
|
|
|
|
/// Sets the style of the progress bar to indeterminate, i.e. <c>Progress</c> and
|
|
|
|
|
/// <c>Regress</c> won't have any effect when called.
|
|
|
|
|
/// </summary>
|
|
|
|
|
void SetIndeterminate();
|
|
|
|
|
|
|
|
|
|
/// <summary>
|
|
|
|
|
/// Set the maximum of the splash screen's progress bar.
|
2017-07-12 15:36:30 +02:00
|
|
|
|
/// </summary>
|
2017-07-21 10:04:27 +02:00
|
|
|
|
void SetMaxProgress(int max);
|
2017-07-14 10:28:59 +02:00
|
|
|
|
|
|
|
|
|
/// <summary>
|
2017-07-20 14:16:47 +02:00
|
|
|
|
/// Updates the status text of the splash screen. If the busy flag is set,
|
|
|
|
|
/// the splash screen will show an animation to indicate a long-running operation.
|
2017-07-14 10:28:59 +02:00
|
|
|
|
/// </summary>
|
2017-08-03 15:35:22 +02:00
|
|
|
|
void UpdateText(TextKey key, bool showBusyIndication = false);
|
2017-07-07 15:46:32 +02:00
|
|
|
|
}
|
|
|
|
|
}
|