2017-07-24 17:31:28 +02:00
|
|
|
|
/*
|
2018-01-16 08:24:00 +01:00
|
|
|
|
* Copyright (c) 2018 ETH Zürich, Educational Development and Technology (LET)
|
2017-07-24 17:31:28 +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/.
|
|
|
|
|
*/
|
|
|
|
|
|
|
|
|
|
namespace SafeExamBrowser.Contracts.UserInterface
|
|
|
|
|
{
|
2017-08-02 08:31:12 +02:00
|
|
|
|
public delegate void ActionRequestedEventHandler();
|
2017-07-31 20:22:53 +02:00
|
|
|
|
|
2018-03-06 11:38:12 +01:00
|
|
|
|
/// <summary>
|
|
|
|
|
/// Defines the functionality of a browser window, i.e. a window with an embedded browser instance (see <see cref="IBrowserControl"/>).
|
|
|
|
|
/// </summary>
|
2017-07-24 17:31:28 +02:00
|
|
|
|
public interface IBrowserWindow : IWindow
|
|
|
|
|
{
|
2017-07-31 20:22:53 +02:00
|
|
|
|
/// <summary>
|
|
|
|
|
/// Event fired when the user changed the URL.
|
|
|
|
|
/// </summary>
|
2017-08-02 08:31:12 +02:00
|
|
|
|
event AddressChangedEventHandler AddressChanged;
|
2017-07-31 20:22:53 +02:00
|
|
|
|
|
|
|
|
|
/// <summary>
|
|
|
|
|
/// Event fired when the user would like to navigate backwards.
|
|
|
|
|
/// </summary>
|
2017-08-02 08:31:12 +02:00
|
|
|
|
event ActionRequestedEventHandler BackwardNavigationRequested;
|
2017-07-31 20:22:53 +02:00
|
|
|
|
|
|
|
|
|
/// <summary>
|
|
|
|
|
/// Event fired when the user would like to navigate forwards.
|
|
|
|
|
/// </summary>
|
2017-08-02 08:31:12 +02:00
|
|
|
|
event ActionRequestedEventHandler ForwardNavigationRequested;
|
2017-07-31 20:22:53 +02:00
|
|
|
|
|
|
|
|
|
/// <summary>
|
|
|
|
|
/// Event fired when the user would like to reload the current page.
|
|
|
|
|
/// </summary>
|
2017-08-02 08:31:12 +02:00
|
|
|
|
event ActionRequestedEventHandler ReloadRequested;
|
2017-07-31 20:22:53 +02:00
|
|
|
|
|
|
|
|
|
/// <summary>
|
|
|
|
|
/// Determines whether this window is the main browser window.
|
|
|
|
|
/// </summary>
|
|
|
|
|
bool IsMainWindow { get; set; }
|
|
|
|
|
|
|
|
|
|
/// <summary>
|
|
|
|
|
/// Updates the address bar of the browser window to the given value;
|
|
|
|
|
/// </summary>
|
|
|
|
|
void UpdateAddress(string adress);
|
|
|
|
|
|
2018-03-01 08:50:08 +01:00
|
|
|
|
/// <summary>
|
|
|
|
|
/// Updates the loading state according to the given value.
|
|
|
|
|
/// </summary>
|
|
|
|
|
void UpdateLoadingState(bool isLoading);
|
|
|
|
|
|
2017-07-31 20:22:53 +02:00
|
|
|
|
/// <summary>
|
|
|
|
|
/// Sets the title of the browser window to the given value;
|
|
|
|
|
/// </summary>
|
|
|
|
|
void UpdateTitle(string title);
|
2017-07-24 17:31:28 +02:00
|
|
|
|
}
|
|
|
|
|
}
|