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-07-17 16:59:50 +02:00
|
|
|
|
using System.Windows.Input;
|
2017-07-20 14:16:47 +02:00
|
|
|
|
using System.Windows.Interop;
|
|
|
|
|
using System.Windows.Media;
|
2017-08-11 08:28:17 +02:00
|
|
|
|
using SafeExamBrowser.Contracts.Logging;
|
2017-07-06 18:18:39 +02:00
|
|
|
|
using SafeExamBrowser.Contracts.UserInterface;
|
2017-07-05 17:21:52 +02:00
|
|
|
|
|
|
|
|
|
namespace SafeExamBrowser.UserInterface
|
|
|
|
|
{
|
|
|
|
|
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
|
|
|
|
{
|
2017-08-11 08:28:17 +02:00
|
|
|
|
this.logger = logger;
|
|
|
|
|
|
2017-07-05 17:21:52 +02:00
|
|
|
|
InitializeComponent();
|
2017-07-20 14:16:47 +02:00
|
|
|
|
|
2017-07-26 14:36:20 +02:00
|
|
|
|
Loaded += (o, args) => InitializeBounds();
|
2017-07-05 17:21:52 +02:00
|
|
|
|
}
|
|
|
|
|
|
2017-07-17 16:59:50 +02:00
|
|
|
|
public void AddButton(ITaskbarButton button)
|
2017-07-11 15:29:29 +02:00
|
|
|
|
{
|
|
|
|
|
if (button is UIElement)
|
|
|
|
|
{
|
2017-07-17 08:28:18 +02:00
|
|
|
|
ApplicationStackPanel.Children.Add(button as UIElement);
|
2017-07-11 15:29:29 +02:00
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
2017-07-17 16:59:50 +02:00
|
|
|
|
public void AddNotification(ITaskbarNotification button)
|
|
|
|
|
{
|
|
|
|
|
if (button is UIElement)
|
|
|
|
|
{
|
|
|
|
|
NotificationWrapPanel.Children.Add(button as UIElement);
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
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-11 08:28:17 +02:00
|
|
|
|
var height = (int) TransformToPhysical(Width, Height).Y;
|
2017-07-26 14:36:20 +02:00
|
|
|
|
|
2017-08-11 11:16:44 +02:00
|
|
|
|
logger.Info($"Calculated physical taskbar height is {height}px.");
|
2017-07-20 14:16:47 +02:00
|
|
|
|
|
2017-08-11 08:28:17 +02:00
|
|
|
|
return height;
|
2017-07-26 14:36:20 +02:00
|
|
|
|
});
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
public void InitializeBounds()
|
|
|
|
|
{
|
|
|
|
|
Dispatcher.Invoke(() =>
|
|
|
|
|
{
|
|
|
|
|
Width = SystemParameters.WorkArea.Right;
|
|
|
|
|
Left = SystemParameters.WorkArea.Right - Width;
|
|
|
|
|
Top = SystemParameters.WorkArea.Bottom;
|
2017-08-11 08:28:17 +02:00
|
|
|
|
|
|
|
|
|
var position = TransformToPhysical(Left, Top);
|
|
|
|
|
var size = TransformToPhysical(Width, Height);
|
|
|
|
|
|
|
|
|
|
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-07-17 08:28:18 +02:00
|
|
|
|
|
2017-07-17 16:59:50 +02:00
|
|
|
|
private void ApplicationScrollViewer_PreviewMouseWheel(object sender, MouseWheelEventArgs e)
|
2017-07-17 08:28:18 +02:00
|
|
|
|
{
|
|
|
|
|
var scrollAmount = 20;
|
|
|
|
|
|
|
|
|
|
if (ApplicationScrollViewer.IsMouseOver)
|
|
|
|
|
{
|
|
|
|
|
if (e.Delta < 0)
|
|
|
|
|
{
|
|
|
|
|
if (ApplicationScrollViewer.HorizontalOffset + scrollAmount > 0)
|
|
|
|
|
{
|
|
|
|
|
ApplicationScrollViewer.ScrollToHorizontalOffset(ApplicationScrollViewer.HorizontalOffset + scrollAmount);
|
|
|
|
|
}
|
|
|
|
|
else
|
|
|
|
|
{
|
|
|
|
|
ApplicationScrollViewer.ScrollToLeftEnd();
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
else
|
|
|
|
|
{
|
|
|
|
|
if (ApplicationScrollViewer.ExtentWidth > ApplicationScrollViewer.HorizontalOffset - scrollAmount)
|
|
|
|
|
{
|
|
|
|
|
ApplicationScrollViewer.ScrollToHorizontalOffset(ApplicationScrollViewer.HorizontalOffset - scrollAmount);
|
|
|
|
|
}
|
|
|
|
|
else
|
|
|
|
|
{
|
|
|
|
|
ApplicationScrollViewer.ScrollToRightEnd();
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
}
|
2017-08-11 08:28:17 +02:00
|
|
|
|
|
|
|
|
|
private Vector TransformToPhysical(double x, double y)
|
|
|
|
|
{
|
|
|
|
|
// WPF works with device-independent pixels. The following code is required
|
|
|
|
|
// to transform those values to their absolute, device-specific pixel value.
|
|
|
|
|
// Source: https://stackoverflow.com/questions/3286175/how-do-i-convert-a-wpf-size-to-physical-pixels
|
|
|
|
|
|
|
|
|
|
Matrix transformToDevice;
|
|
|
|
|
var source = PresentationSource.FromVisual(this);
|
|
|
|
|
|
|
|
|
|
if (source != null)
|
|
|
|
|
{
|
|
|
|
|
transformToDevice = source.CompositionTarget.TransformToDevice;
|
|
|
|
|
}
|
|
|
|
|
else
|
|
|
|
|
{
|
|
|
|
|
using (var newSource = new HwndSource(new HwndSourceParameters()))
|
|
|
|
|
{
|
|
|
|
|
transformToDevice = newSource.CompositionTarget.TransformToDevice;
|
|
|
|
|
}
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
return transformToDevice.Transform(new Vector(x, y));
|
|
|
|
|
}
|
2017-07-05 17:21:52 +02:00
|
|
|
|
}
|
|
|
|
|
}
|