2017-07-05 17:21:52 +02:00
|
|
|
|
/*
|
|
|
|
|
* Copyright (c) 2017 ETH Zürich, Educational Development and Technology (LET)
|
|
|
|
|
*
|
|
|
|
|
* 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/.
|
|
|
|
|
*/
|
|
|
|
|
|
|
|
|
|
using System.Windows;
|
2017-08-11 08:28:17 +02:00
|
|
|
|
using SafeExamBrowser.Contracts.Logging;
|
2017-08-15 15:30:31 +02:00
|
|
|
|
using SafeExamBrowser.Contracts.UserInterface.Taskbar;
|
2017-07-05 17:21:52 +02:00
|
|
|
|
|
2017-08-22 09:37:17 +02:00
|
|
|
|
namespace SafeExamBrowser.UserInterface.Classic
|
2017-07-05 17:21:52 +02:00
|
|
|
|
{
|
|
|
|
|
public partial class Taskbar : Window, ITaskbar
|
|
|
|
|
{
|
2017-08-11 08:28:17 +02:00
|
|
|
|
private ILogger logger;
|
|
|
|
|
|
|
|
|
|
public Taskbar(ILogger logger)
|
2017-07-05 17:21:52 +02:00
|
|
|
|
{
|
|
|
|
|
InitializeComponent();
|
2017-07-20 14:16:47 +02:00
|
|
|
|
|
2017-08-22 09:37:17 +02:00
|
|
|
|
this.logger = logger;
|
|
|
|
|
|
2017-07-26 14:36:20 +02:00
|
|
|
|
Loaded += (o, args) => InitializeBounds();
|
2017-08-17 12:17:58 +02:00
|
|
|
|
Closing += Taskbar_Closing;
|
2017-07-05 17:21:52 +02:00
|
|
|
|
}
|
|
|
|
|
|
2017-08-15 15:30:31 +02:00
|
|
|
|
public void AddApplication(IApplicationButton button)
|
2017-07-11 15:29:29 +02:00
|
|
|
|
{
|
|
|
|
|
if (button is UIElement)
|
|
|
|
|
{
|
2017-08-22 09:37:17 +02:00
|
|
|
|
// TODO: ApplicationStackPanel.Children.Add(button as UIElement);
|
2017-07-11 15:29:29 +02:00
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
2017-08-15 15:30:31 +02:00
|
|
|
|
public void AddNotification(INotificationButton button)
|
2017-07-17 16:59:50 +02:00
|
|
|
|
{
|
|
|
|
|
if (button is UIElement)
|
|
|
|
|
{
|
2017-08-22 09:37:17 +02:00
|
|
|
|
// TODO: NotificationStackPanel.Children.Add(button as UIElement);
|
2017-07-17 16:59:50 +02:00
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
2017-08-15 15:30:31 +02:00
|
|
|
|
public void AddSystemControl(ISystemControl control)
|
|
|
|
|
{
|
|
|
|
|
if (control is UIElement)
|
|
|
|
|
{
|
2017-08-22 09:37:17 +02:00
|
|
|
|
// TODO: SystemControlStackPanel.Children.Add(control as UIElement);
|
2017-08-15 15:30:31 +02:00
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
2017-07-20 14:16:47 +02:00
|
|
|
|
public int GetAbsoluteHeight()
|
2017-07-05 17:21:52 +02:00
|
|
|
|
{
|
2017-07-26 14:36:20 +02:00
|
|
|
|
return Dispatcher.Invoke(() =>
|
2017-07-20 14:16:47 +02:00
|
|
|
|
{
|
2017-08-22 09:37:17 +02:00
|
|
|
|
//var height = (int) this.TransformToPhysical(Width, Height).Y;
|
2017-07-26 14:36:20 +02:00
|
|
|
|
|
2017-08-22 09:37:17 +02:00
|
|
|
|
//logger.Info($"Calculated physical taskbar height is {height}px.");
|
2017-07-20 14:16:47 +02:00
|
|
|
|
|
2017-08-22 09:37:17 +02:00
|
|
|
|
//return height;
|
|
|
|
|
|
|
|
|
|
return 40;
|
2017-07-26 14:36:20 +02:00
|
|
|
|
});
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
public void InitializeBounds()
|
|
|
|
|
{
|
|
|
|
|
Dispatcher.Invoke(() =>
|
|
|
|
|
{
|
2017-08-22 09:37:17 +02:00
|
|
|
|
//Width = SystemParameters.WorkArea.Right;
|
|
|
|
|
//Left = SystemParameters.WorkArea.Right - Width;
|
|
|
|
|
//Top = SystemParameters.WorkArea.Bottom;
|
2017-08-11 08:28:17 +02:00
|
|
|
|
|
2017-08-22 09:37:17 +02:00
|
|
|
|
//var position = this.TransformToPhysical(Left, Top);
|
|
|
|
|
//var size = this.TransformToPhysical(Width, Height);
|
2017-08-11 08:28:17 +02:00
|
|
|
|
|
2017-08-22 09:37:17 +02:00
|
|
|
|
//logger.Info($"Set taskbar bounds to {Width}x{Height} at ({Left}/{Top}), in physical pixels: {size.X}x{size.Y} at ({position.X}/{position.Y}).");
|
2017-07-26 14:36:20 +02:00
|
|
|
|
});
|
2017-07-05 17:21:52 +02:00
|
|
|
|
}
|
2017-08-17 12:17:58 +02:00
|
|
|
|
|
|
|
|
|
private void Taskbar_Closing(object sender, System.ComponentModel.CancelEventArgs e)
|
|
|
|
|
{
|
2017-08-22 09:37:17 +02:00
|
|
|
|
//foreach (var child in SystemControlStackPanel.Children)
|
|
|
|
|
//{
|
|
|
|
|
// if (child is ISystemControl)
|
|
|
|
|
// {
|
|
|
|
|
// (child as ISystemControl).Close();
|
|
|
|
|
// }
|
|
|
|
|
//}
|
2017-08-17 12:17:58 +02:00
|
|
|
|
}
|
2017-07-05 17:21:52 +02:00
|
|
|
|
}
|
|
|
|
|
}
|