mattercontrol/MatterControlLib/PrinterControls/TerminalWindow/TextScrollWidget.cs

392 lines
11 KiB
C#
Raw Normal View History

2014-11-06 15:19:38 -08:00
/*
2019-04-02 14:07:16 -07:00
Copyright (c) 2019, Lars Brubaker, John Lewin
2014-11-06 15:19:38 -08:00
All rights reserved.
Redistribution and use in source and binary forms, with or without
2015-04-08 15:20:10 -07:00
modification, are permitted provided that the following conditions are met:
2014-11-06 15:19:38 -08:00
1. Redistributions of source code must retain the above copyright notice, this
2015-04-08 15:20:10 -07:00
list of conditions and the following disclaimer.
2014-11-06 15:19:38 -08:00
2. Redistributions in binary form must reproduce the above copyright notice,
this list of conditions and the following disclaimer in the documentation
2015-04-08 15:20:10 -07:00
and/or other materials provided with the distribution.
2014-11-06 15:19:38 -08:00
THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS" AND
ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR
ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES
(INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND
ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
(INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
The views and conclusions contained in the software and documentation are those
2015-04-08 15:20:10 -07:00
of the authors and should not be interpreted as representing official policies,
2014-11-06 15:19:38 -08:00
either expressed or implied, of the FreeBSD Project.
*/
using System;
using System.Collections.Generic;
2019-03-25 14:23:45 -07:00
using System.Linq;
2014-11-06 15:19:38 -08:00
using MatterHackers.Agg;
using MatterHackers.Agg.Font;
using MatterHackers.Agg.UI;
using MatterHackers.VectorMath;
namespace MatterHackers.MatterControl
{
2015-04-08 15:20:10 -07:00
public class TextScrollWidget : GuiWidget
{
2019-04-02 14:07:16 -07:00
private object locker = new object();
2015-04-08 15:20:10 -07:00
private TerminalLog terminalLog;
2015-04-08 15:20:10 -07:00
private List<string> visibleLines;
2019-03-25 14:23:45 -07:00
private TypeFacePrinter typeFacePrinter = null;
private PrinterConfig printer = null;
2022-10-06 17:59:31 -07:00
/// <summary>
/// The first line to show from the existing visible lines. If -1 then show to the bottom of the list.
/// </summary>
private int forceStartLine = -1;
2015-04-08 15:20:10 -07:00
// Text selection
private bool dragActive = false;
private int selectionStartLine;
private int selectionEndLine = -1;
private double selectionMouseDown;
2019-04-02 16:40:11 -07:00
private Func<TerminalLine, string> _lineFilterFunction;
2019-04-02 14:07:16 -07:00
public TextScrollWidget(PrinterConfig printer, TerminalLog terminalLog)
2019-04-02 14:07:16 -07:00
{
this.printer = printer;
this.typeFacePrinter = new TypeFacePrinter("", new StyledTypeFace(ApplicationController.Instance.GetTypeFace("Liberation_Mono"), 12));
2019-04-02 14:07:16 -07:00
this.typeFacePrinter.DrawFromHintedCache = true;
this.terminalLog = terminalLog;
this.visibleLines = terminalLog.AllLines().ToList();
// Register listeners
printer.Connection.TerminalLog.LineAdded += this.TerminalLog_LineAdded;
printer.Connection.TerminalLog.LogCleared += this.TerminalLog_LogCleared;
2019-04-02 14:07:16 -07:00
}
private double documentHeight => visibleLines.Count * typeFacePrinter.TypeFaceStyle.EmSizeInPixels;
2015-04-08 15:20:10 -07:00
public double Position0To1
{
get
{
if (forceStartLine == -1)
{
return 0;
}
else
{
2019-04-02 14:07:16 -07:00
return (visibleLines.Count - (double)forceStartLine) / visibleLines.Count;
2015-04-08 15:20:10 -07:00
}
}
set
{
forceStartLine = (int)(visibleLines.Count * (1 - value)) - 1;
forceStartLine = Math.Max(0, forceStartLine);
forceStartLine = Math.Min(visibleLines.Count - 1, forceStartLine);
// If the start would be less than one screen worth of content, allow
// the whole screen to have content and scroll with new material.
// Note: alternatively, if scrolled and sticking to bottom
2015-04-08 15:20:10 -07:00
if (forceStartLine > visibleLines.Count - NumVisibleLines)
{
forceStartLine = -1;
}
2019-04-02 14:07:16 -07:00
2015-04-08 15:20:10 -07:00
Invalidate();
}
}
2019-04-02 14:07:16 -07:00
public int NumVisibleLines => (int)Math.Ceiling(Height / typeFacePrinter.TypeFaceStyle.EmSizeInPixels);
2015-04-08 15:20:10 -07:00
2019-04-02 14:07:16 -07:00
public Color TextColor { get; set; } = new Color(102, 102, 102);
2019-04-02 16:40:11 -07:00
public Func<TerminalLine, string> LineFilterFunction
2015-04-08 15:20:10 -07:00
{
2019-04-02 14:07:16 -07:00
get => _lineFilterFunction;
set
{
_lineFilterFunction = value;
RebuildFilteredList();
}
2015-04-08 15:20:10 -07:00
}
2020-10-06 17:23:26 -07:00
private bool ConditionalyAddToVisible(TerminalLine terminalLine)
2015-04-08 15:20:10 -07:00
{
var line = terminalLine.Line;
2019-03-25 14:23:45 -07:00
if (LineFilterFunction != null)
2015-04-08 15:20:10 -07:00
{
line = LineFilterFunction(terminalLine);
2019-03-25 14:23:45 -07:00
}
2015-04-08 15:20:10 -07:00
2019-04-02 16:40:11 -07:00
if (!string.IsNullOrEmpty(line))
2019-03-25 14:23:45 -07:00
{
2020-12-10 11:16:14 -08:00
lock (locker)
{
visibleLines.Add(line);
}
2020-10-06 17:23:26 -07:00
return true;
2015-04-08 15:20:10 -07:00
}
2020-10-06 17:23:26 -07:00
return false;
2015-04-08 15:20:10 -07:00
}
private void TerminalLog_LineAdded(object sender, TerminalLine terminalLine)
2015-04-08 15:20:10 -07:00
{
2020-10-06 22:00:28 -07:00
if (this.ConditionalyAddToVisible(terminalLine))
{
this.Invalidate();
}
}
2015-04-08 15:20:10 -07:00
private void TerminalLog_LogCleared(object sender, EventArgs e)
{
this.RebuildFilteredList();
2015-04-08 15:20:10 -07:00
}
2019-03-25 14:23:45 -07:00
public void RebuildFilteredList()
2015-04-08 15:20:10 -07:00
{
2020-12-10 11:16:14 -08:00
lock (locker)
{
visibleLines.Clear();
}
foreach (var lineData in terminalLog.AllTerminalLines())
2019-04-03 10:59:12 -07:00
{
ConditionalyAddToVisible(lineData);
}
2015-04-08 15:20:10 -07:00
}
public override void OnClosed(EventArgs e)
2015-04-08 15:20:10 -07:00
{
// Unregister listeners
printer.Connection.TerminalLog.LineAdded -= this.TerminalLog_LineAdded;
printer.Connection.TerminalLog.LogCleared -= this.TerminalLog_LogCleared;
2015-04-08 15:20:10 -07:00
base.OnClosed(e);
}
public override void OnDraw(Graphics2D graphics2D)
{
2019-04-02 14:07:16 -07:00
RectangleDouble bounds = LocalBounds;
2015-04-08 15:20:10 -07:00
int numLinesToDraw = NumVisibleLines;
int selectionStart = Math.Min(selectionStartLine, selectionEndLine);
int selectionEnd = Math.Max(selectionStartLine, selectionEndLine);
2019-03-25 14:23:45 -07:00
double y = LocalBounds.Bottom + typeFacePrinter.TypeFaceStyle.EmSizeInPixels * numLinesToDraw;
2020-12-10 11:16:14 -08:00
lock (locker)
{
2020-12-10 11:16:14 -08:00
int startLineIndex = visibleLines.Count - numLinesToDraw;
if (forceStartLine != -1)
{
2020-12-10 11:16:14 -08:00
y = LocalBounds.Top;
2020-12-10 11:16:14 -08:00
if (forceStartLine > visibleLines.Count - numLinesToDraw)
{
forceStartLine = -1;
}
2020-12-10 11:16:14 -08:00
else
{
// make sure we show all the lines we can
startLineIndex = Math.Min(forceStartLine, startLineIndex);
}
}
2019-04-02 14:07:16 -07:00
2020-12-10 11:16:14 -08:00
int endLineIndex = visibleLines.Count;
for (int lineIndex = startLineIndex; lineIndex < endLineIndex; lineIndex++)
{
if (lineIndex >= 0)
{
2020-12-10 11:16:14 -08:00
if (visibleLines[lineIndex] != null)
{
2020-12-10 11:16:14 -08:00
typeFacePrinter.Text = visibleLines[lineIndex];
typeFacePrinter.Origin = new Vector2(bounds.Left + 2, y);
// Account for text selection
var textSelected = selectionEndLine != -1
&& lineIndex >= selectionStart
&& lineIndex <= selectionEnd;
typeFacePrinter.Render(graphics2D, textSelected ? AppContext.Theme.PrimaryAccentColor : TextColor);
}
2020-12-10 11:16:14 -08:00
}
2019-04-02 14:07:16 -07:00
2020-12-10 11:16:14 -08:00
y -= typeFacePrinter.TypeFaceStyle.EmSizeInPixels;
if (y < -typeFacePrinter.TypeFaceStyle.EmSizeInPixels)
{
break;
}
}
}
2014-11-06 15:19:38 -08:00
2015-04-08 15:20:10 -07:00
base.OnDraw(graphics2D);
}
private int GetLineIndexFromMouse(Vector2 mousePosition)
{
var yPosFromTop = LocalBounds.Height - mousePosition.Y;
var lineIndex = (int)Math.Ceiling(yPosFromTop / typeFacePrinter.TypeFaceStyle.EmSizeInPixels);
// After the view fills up and/or when not pinned bottom, scroll offset is simply forceStartLine
// Otherwise it's the offset from the bottom
int scrollOffset = forceStartLine >= 0 ? forceStartLine : visibleLines.Count - NumVisibleLines;
// Account for scroll
return lineIndex + scrollOffset;
}
public override void OnMouseDown(MouseEventArgs mouseEvent)
{
dragActive = mouseEvent.Button == MouseButtons.Left;
selectionMouseDown = mouseEvent.Y;
if (dragActive)
{
// Account for scroll
selectionStartLine = GetLineIndexFromMouse(mouseEvent.Position);
// Reset end index on start drag
selectionEndLine = -1;
this.Invalidate();
}
base.OnMouseDown(mouseEvent);
}
public override void OnMouseUp(MouseEventArgs mouseEvent)
{
dragActive = false;
base.OnMouseUp(mouseEvent);
}
public override void OnMouseMove(MouseEventArgs mouseEvent)
{
if (dragActive)
{
// Recompute line index from mouse position into doc, rather than the more
// typical start/current delta, to ensure range stay in sync with scrolling text
selectionEndLine = GetLineIndexFromMouse(mouseEvent.Position);
this.Invalidate();
}
base.OnMouseMove(mouseEvent);
}
2018-12-13 16:59:32 -08:00
public override void OnMouseWheel(MouseEventArgs mouseEvent)
{
base.OnMouseWheel(mouseEvent);
2020-12-10 11:16:14 -08:00
var count = visibleLines.Count;
double scrollDelta = mouseEvent.WheelDelta / (count * 60.0);
2018-12-13 16:59:32 -08:00
2019-04-02 14:07:16 -07:00
if (scrollDelta < 0) // Rounding seems to favor scrolling up, compensating scroll down to feel as smooth
2018-12-13 16:59:32 -08:00
{
scrollDelta *= 2;
}
2019-04-02 14:07:16 -07:00
else if (Position0To1 == 0) // If we scroll up at the bottom get pop out from the "on screen" chunk
2018-12-13 16:59:32 -08:00
{
2020-12-10 11:16:14 -08:00
scrollDelta = NumVisibleLines / (double)count;
2018-12-13 16:59:32 -08:00
}
double newPos = Position0To1 + scrollDelta;
if (newPos > 1)
{
newPos = 1;
}
else if (newPos < 0)
{
newPos = 0;
}
Position0To1 = newPos;
}
public override void OnKeyDown(KeyEventArgs keyEvent)
{
// make sure children controls get to try to handle this event first
base.OnKeyDown(keyEvent);
// check for arrow keys (but only if no modifiers are pressed)
if (!keyEvent.Handled
&& !keyEvent.Control
&& !keyEvent.Alt
2018-12-13 16:59:32 -08:00
&& !keyEvent.Shift)
{
double startingScrollPosition = Position0To1;
2019-04-02 14:07:16 -07:00
double scrollDelta = NumVisibleLines / (double)visibleLines.Count;
double newPos = Position0To1;
2018-12-13 16:59:32 -08:00
switch (keyEvent.KeyCode)
{
case Keys.PageDown:
newPos -= scrollDelta;
break;
case Keys.PageUp:
newPos += scrollDelta;
break;
case Keys.Home:
newPos = 1;
break;
case Keys.End:
newPos = 0;
break;
}
2018-12-13 16:59:32 -08:00
if (newPos > 1)
{
newPos = 1;
2018-12-13 16:59:32 -08:00
}
else if (newPos < 0)
{
newPos = 0;
}
Position0To1 = newPos;
// we only handled the key if it resulted in the area scrolling
2018-12-13 16:59:32 -08:00
if (startingScrollPosition != Position0To1)
{
keyEvent.Handled = true;
}
}
}
public override void OnKeyUp(KeyEventArgs keyEvent)
{
if (keyEvent.KeyCode == Keys.C
&& keyEvent.Control
&& Math.Abs(selectionStartLine - selectionEndLine) > 0)
{
int selectionStart = Math.Min(selectionStartLine, selectionEndLine);
int selectionEnd = Math.Max(selectionStartLine, selectionEndLine);
// Filter visiblelines to selection range
var filteredLines = visibleLines.Where((l, i) => i >= selectionStart && i <= selectionEnd);
if (UserSettings.Instance.Fields.GetBool(UserSettingsKey.TerminalShowInputOutputMarks, true))
{
// Drop leading communication/direction indicators
filteredLines = filteredLines.Select(l => l.Substring(l.IndexOf(' ') + 1));
}
// Push selected text to clipboard
Clipboard.Instance.SetText(string.Join("\r\n", filteredLines));
}
base.OnKeyUp(keyEvent);
}
2018-12-13 16:59:32 -08:00
}
2015-04-08 15:20:10 -07:00
}