2017-07-05 11:41:19 +02:00
|
|
|
|
/*
|
2018-01-16 08:24:00 +01:00
|
|
|
|
* Copyright (c) 2018 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-07-06 15:57:38 +02:00
|
|
|
|
using SafeExamBrowser.Contracts.UserInterface.Taskbar.Events;
|
|
|
|
|
|
2017-08-15 15:30:31 +02:00
|
|
|
|
namespace SafeExamBrowser.Contracts.UserInterface.Taskbar
|
2017-07-05 11:41:19 +02:00
|
|
|
|
{
|
2018-03-06 11:38:12 +01:00
|
|
|
|
/// <summary>
|
|
|
|
|
/// Defines the functionality of the application taskbar. The taskbar is the main user interface element via which the user can access
|
|
|
|
|
/// the browser, third-party applications, system controls and so on.
|
|
|
|
|
/// </summary>
|
2017-07-05 17:21:52 +02:00
|
|
|
|
public interface ITaskbar
|
2017-07-05 11:41:19 +02:00
|
|
|
|
{
|
2018-02-20 15:15:26 +01:00
|
|
|
|
/// <summary>
|
|
|
|
|
/// Event fired when the user clicked the quit button in the taskbar.
|
|
|
|
|
/// </summary>
|
|
|
|
|
event QuitButtonClickedEventHandler QuitButtonClicked;
|
|
|
|
|
|
2017-07-12 15:36:30 +02:00
|
|
|
|
/// <summary>
|
|
|
|
|
/// Adds the given application button to the taskbar.
|
|
|
|
|
/// </summary>
|
2017-08-15 15:30:31 +02:00
|
|
|
|
void AddApplication(IApplicationButton button);
|
2017-07-17 16:59:50 +02:00
|
|
|
|
|
|
|
|
|
/// <summary>
|
|
|
|
|
/// Adds the given notification button to the taskbar.
|
|
|
|
|
/// </summary>
|
2017-08-15 15:30:31 +02:00
|
|
|
|
void AddNotification(INotificationButton button);
|
|
|
|
|
|
|
|
|
|
/// <summary>
|
|
|
|
|
/// Adds the given system control to the taskbar.
|
|
|
|
|
/// </summary>
|
|
|
|
|
void AddSystemControl(ISystemControl control);
|
2017-07-12 15:36:30 +02:00
|
|
|
|
|
2018-02-20 15:15:26 +01:00
|
|
|
|
/// <summary>
|
|
|
|
|
/// Closes the taskbar.
|
|
|
|
|
/// </summary>
|
|
|
|
|
void Close();
|
|
|
|
|
|
2017-07-12 15:36:30 +02:00
|
|
|
|
/// <summary>
|
2017-07-20 14:16:47 +02:00
|
|
|
|
/// Returns the absolute height of the taskbar (i.e. in physical pixels).
|
2017-07-12 15:36:30 +02:00
|
|
|
|
/// </summary>
|
2017-07-20 14:16:47 +02:00
|
|
|
|
int GetAbsoluteHeight();
|
2017-07-26 14:36:20 +02:00
|
|
|
|
|
|
|
|
|
/// <summary>
|
|
|
|
|
/// Moves the taskbar to the bottom of and resizes it according to the current working area.
|
|
|
|
|
/// </summary>
|
|
|
|
|
void InitializeBounds();
|
2017-07-05 11:41:19 +02:00
|
|
|
|
}
|
|
|
|
|
}
|