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.
|
|
|
|
|
|
*/
|
|
|
|
|
|
|
2017-09-17 13:30:05 -07:00
|
|
|
|
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
|
|
|
|
|
2019-04-02 16:40:11 -07:00
|
|
|
|
private List<TerminalLine> allSourceLines;
|
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;
|
2016-02-23 09:25:59 -08:00
|
|
|
|
|
2015-04-08 15:20:10 -07:00
|
|
|
|
private int forceStartLine = -1;
|
|
|
|
|
|
|
2019-04-02 16:40:11 -07:00
|
|
|
|
private Func<TerminalLine, string> _lineFilterFunction;
|
2019-04-02 14:07:16 -07:00
|
|
|
|
|
2019-04-02 16:40:11 -07:00
|
|
|
|
public TextScrollWidget(PrinterConfig printer, List<TerminalLine> sourceLines)
|
2019-04-02 14:07:16 -07:00
|
|
|
|
{
|
|
|
|
|
|
this.printer = printer;
|
2019-04-02 15:08:46 -07:00
|
|
|
|
printer.Connection.TerminalLog.LineAdded += TerminalLog_LineAdded;
|
2019-04-02 14:07:16 -07:00
|
|
|
|
this.typeFacePrinter = new TypeFacePrinter("", new StyledTypeFace(ApplicationController.GetTypeFace(NamedTypeFace.Liberation_Mono), 12));
|
|
|
|
|
|
this.typeFacePrinter.DrawFromHintedCache = true;
|
|
|
|
|
|
this.allSourceLines = sourceLines;
|
2019-04-02 16:40:11 -07:00
|
|
|
|
this.visibleLines = sourceLines.Select(ld => ld.Line).ToList();
|
2019-04-02 14:07:16 -07:00
|
|
|
|
}
|
|
|
|
|
|
|
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.
|
|
|
|
|
|
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
|
|
|
|
}
|
|
|
|
|
|
|
2019-04-02 16:44:58 -07:00
|
|
|
|
private void ConditionalyAddToVisible(TerminalLine terminalLine)
|
2015-04-08 15:20:10 -07:00
|
|
|
|
{
|
2019-04-02 16:44:58 -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
|
|
|
|
{
|
2019-04-02 16:44:58 -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
|
|
|
|
{
|
|
|
|
|
|
visibleLines.Add(line);
|
2015-04-08 15:20:10 -07:00
|
|
|
|
}
|
|
|
|
|
|
}
|
|
|
|
|
|
|
2019-04-02 16:44:58 -07:00
|
|
|
|
private void TerminalLog_LineAdded(object sender, TerminalLine terminalLine)
|
2015-04-08 15:20:10 -07:00
|
|
|
|
{
|
2019-04-02 16:44:58 -07:00
|
|
|
|
if (terminalLine.Line != null)
|
2015-04-08 15:20:10 -07:00
|
|
|
|
{
|
2019-04-02 16:44:58 -07:00
|
|
|
|
ConditionalyAddToVisible(terminalLine);
|
2015-04-08 15:20:10 -07:00
|
|
|
|
}
|
|
|
|
|
|
else // the list changed in some big way (probably cleared)
|
|
|
|
|
|
{
|
2019-03-25 14:23:45 -07:00
|
|
|
|
RebuildFilteredList();
|
2015-04-08 15:20:10 -07:00
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
Invalidate();
|
|
|
|
|
|
}
|
|
|
|
|
|
|
2019-03-25 14:23:45 -07:00
|
|
|
|
public void RebuildFilteredList()
|
2015-04-08 15:20:10 -07:00
|
|
|
|
{
|
2018-12-13 16:59:32 -08:00
|
|
|
|
lock (locker)
|
2019-04-03 10:59:12 -07:00
|
|
|
|
{
|
2015-01-21 11:45:42 -08:00
|
|
|
|
visibleLines = new List<string>();
|
2019-04-02 16:40:11 -07:00
|
|
|
|
var allSourceLinesTemp = allSourceLines.ToArray();
|
2019-03-25 14:23:45 -07:00
|
|
|
|
foreach (var lineData in allSourceLinesTemp)
|
2015-01-21 11:45:42 -08:00
|
|
|
|
{
|
2019-03-25 14:23:45 -07:00
|
|
|
|
ConditionalyAddToVisible(lineData);
|
2015-01-21 11:45:42 -08:00
|
|
|
|
}
|
|
|
|
|
|
}
|
2015-04-08 15:20:10 -07:00
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
public void WriteToFile(string filePath)
|
|
|
|
|
|
{
|
2015-04-23 13:59:33 -07:00
|
|
|
|
// Make a copy so we don't have it change while writing.
|
2019-04-02 16:40:11 -07:00
|
|
|
|
string[] allSourceLinesTemp = allSourceLines.Select(ld => ld.Line).ToArray();
|
2015-04-23 13:59:33 -07:00
|
|
|
|
System.IO.File.WriteAllLines(filePath, allSourceLinesTemp);
|
2015-04-08 15:20:10 -07:00
|
|
|
|
}
|
|
|
|
|
|
|
2018-08-23 16:44:11 -07:00
|
|
|
|
public override void OnClosed(EventArgs e)
|
2015-04-08 15:20:10 -07:00
|
|
|
|
{
|
2019-04-02 15:08:46 -07:00
|
|
|
|
printer.Connection.TerminalLog.LineAdded -= TerminalLog_LineAdded;
|
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;
|
|
|
|
|
|
|
2019-03-25 14:23:45 -07:00
|
|
|
|
double y = LocalBounds.Bottom + typeFacePrinter.TypeFaceStyle.EmSizeInPixels * numLinesToDraw;
|
2018-12-13 16:59:32 -08:00
|
|
|
|
lock (visibleLines)
|
2015-01-21 11:45:42 -08:00
|
|
|
|
{
|
2018-12-13 16:59:32 -08:00
|
|
|
|
lock (locker)
|
2015-01-21 11:45:42 -08:00
|
|
|
|
{
|
2015-06-11 14:23:38 -07:00
|
|
|
|
int startLineIndex = visibleLines.Count - numLinesToDraw;
|
|
|
|
|
|
if (forceStartLine != -1)
|
2015-01-21 11:45:42 -08:00
|
|
|
|
{
|
2015-06-11 14:23:38 -07:00
|
|
|
|
y = LocalBounds.Top;
|
|
|
|
|
|
|
|
|
|
|
|
if (forceStartLine > visibleLines.Count - numLinesToDraw)
|
2015-01-21 11:45:42 -08:00
|
|
|
|
{
|
2015-06-11 14:23:38 -07:00
|
|
|
|
forceStartLine = -1;
|
|
|
|
|
|
}
|
|
|
|
|
|
else
|
|
|
|
|
|
{
|
|
|
|
|
|
// make sure we show all the lines we can
|
|
|
|
|
|
startLineIndex = Math.Min(forceStartLine, startLineIndex);
|
2015-01-21 11:45:42 -08:00
|
|
|
|
}
|
|
|
|
|
|
}
|
2019-04-02 14:07:16 -07:00
|
|
|
|
|
2015-06-11 14:23:38 -07:00
|
|
|
|
int endLineIndex = visibleLines.Count;
|
|
|
|
|
|
for (int lineIndex = startLineIndex; lineIndex < endLineIndex; lineIndex++)
|
2015-01-21 11:45:42 -08:00
|
|
|
|
{
|
2015-06-11 14:23:38 -07:00
|
|
|
|
if (lineIndex >= 0)
|
|
|
|
|
|
{
|
|
|
|
|
|
if (visibleLines[lineIndex] != null)
|
|
|
|
|
|
{
|
2019-03-25 14:23:45 -07:00
|
|
|
|
typeFacePrinter.Text = visibleLines[lineIndex];
|
2019-04-02 14:07:16 -07:00
|
|
|
|
typeFacePrinter.Origin = new Vector2(bounds.Left + 2, y);
|
2019-03-25 14:23:45 -07:00
|
|
|
|
typeFacePrinter.Render(graphics2D, TextColor);
|
2015-06-11 14:23:38 -07:00
|
|
|
|
}
|
|
|
|
|
|
}
|
2019-04-02 14:07:16 -07:00
|
|
|
|
|
2019-03-25 14:23:45 -07:00
|
|
|
|
y -= typeFacePrinter.TypeFaceStyle.EmSizeInPixels;
|
|
|
|
|
|
if (y < -typeFacePrinter.TypeFaceStyle.EmSizeInPixels)
|
2015-06-11 14:23:38 -07:00
|
|
|
|
{
|
|
|
|
|
|
break;
|
|
|
|
|
|
}
|
2015-01-21 11:45:42 -08:00
|
|
|
|
}
|
|
|
|
|
|
}
|
|
|
|
|
|
}
|
2014-11-06 15:19:38 -08:00
|
|
|
|
|
2015-04-08 15:20:10 -07:00
|
|
|
|
base.OnDraw(graphics2D);
|
|
|
|
|
|
}
|
2015-11-16 12:27:31 -08:00
|
|
|
|
|
2018-12-13 16:59:32 -08:00
|
|
|
|
public override void OnMouseWheel(MouseEventArgs mouseEvent)
|
|
|
|
|
|
{
|
|
|
|
|
|
base.OnMouseWheel(mouseEvent);
|
2019-04-02 14:07:16 -07:00
|
|
|
|
double scrollDelta = mouseEvent.WheelDelta / (visibleLines.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
|
|
|
|
{
|
2019-04-02 14:07:16 -07:00
|
|
|
|
scrollDelta = NumVisibleLines / (double)visibleLines.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;
|
|
|
|
|
|
}
|
2015-11-16 12:27:31 -08:00
|
|
|
|
|
2018-12-13 11:34:52 -08:00
|
|
|
|
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)
|
|
|
|
|
|
{
|
2018-12-13 11:34:52 -08:00
|
|
|
|
double startingScrollPosition = Position0To1;
|
2019-04-02 14:07:16 -07:00
|
|
|
|
double scrollDelta = NumVisibleLines / (double)visibleLines.Count;
|
2018-12-13 11:34:52 -08:00
|
|
|
|
double newPos = Position0To1;
|
|
|
|
|
|
|
2018-12-13 16:59:32 -08:00
|
|
|
|
switch (keyEvent.KeyCode)
|
|
|
|
|
|
{
|
2018-12-13 11:34:52 -08:00
|
|
|
|
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)
|
|
|
|
|
|
{
|
2018-12-13 11:34:52 -08:00
|
|
|
|
newPos = 1;
|
2018-12-13 16:59:32 -08:00
|
|
|
|
}
|
|
|
|
|
|
else if (newPos < 0)
|
|
|
|
|
|
{
|
2018-12-13 11:34:52 -08:00
|
|
|
|
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)
|
|
|
|
|
|
{
|
2018-12-13 11:34:52 -08:00
|
|
|
|
keyEvent.Handled = true;
|
|
|
|
|
|
}
|
|
|
|
|
|
}
|
|
|
|
|
|
}
|
2018-12-13 16:59:32 -08:00
|
|
|
|
}
|
2015-04-08 15:20:10 -07:00
|
|
|
|
}
|