2014-11-06 15:19:38 -08:00
|
|
|
|
/*
|
|
|
|
|
|
Copyright (c) 2014, Lars Brubaker
|
|
|
|
|
|
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;
|
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
|
|
|
|
|
|
{
|
2016-01-07 16:45:16 -08:00
|
|
|
|
object locker = new object();
|
|
|
|
|
|
|
2015-04-08 15:20:10 -07:00
|
|
|
|
private string[] StartLineStringFilters = null;
|
|
|
|
|
|
|
2016-12-29 06:55:12 -08:00
|
|
|
|
private EventHandler unregisterEvents;
|
2015-04-08 15:20:10 -07:00
|
|
|
|
|
|
|
|
|
|
private List<string> allSourceLines;
|
|
|
|
|
|
private List<string> visibleLines;
|
|
|
|
|
|
|
2016-02-23 09:25:59 -08:00
|
|
|
|
private TypeFacePrinter printer = null;
|
|
|
|
|
|
|
2017-10-31 11:43:25 -07:00
|
|
|
|
public Color TextColor = new Color(102, 102, 102);
|
2015-04-08 15:20:10 -07:00
|
|
|
|
private int forceStartLine = -1;
|
|
|
|
|
|
|
|
|
|
|
|
public double Position0To1
|
|
|
|
|
|
{
|
|
|
|
|
|
get
|
|
|
|
|
|
{
|
|
|
|
|
|
if (forceStartLine == -1)
|
|
|
|
|
|
{
|
|
|
|
|
|
return 0;
|
|
|
|
|
|
}
|
|
|
|
|
|
else
|
|
|
|
|
|
{
|
|
|
|
|
|
return ((visibleLines.Count - (double)forceStartLine) / visibleLines.Count);
|
|
|
|
|
|
}
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
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;
|
|
|
|
|
|
}
|
|
|
|
|
|
Invalidate();
|
|
|
|
|
|
}
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
public int NumVisibleLines
|
|
|
|
|
|
{
|
|
|
|
|
|
get { return (int)Math.Ceiling(Height / printer.TypeFaceStyle.EmSizeInPixels); }
|
|
|
|
|
|
}
|
|
|
|
|
|
|
2017-09-29 23:55:13 -07:00
|
|
|
|
public TextScrollWidget(PrinterConfig printer, List<string> sourceLines)
|
2015-04-08 15:20:10 -07:00
|
|
|
|
{
|
2018-05-15 13:56:05 -07:00
|
|
|
|
this.printer = new TypeFacePrinter("", new StyledTypeFace(ApplicationController.GetTypeFace(NamedTypeFace.Liberation_Mono), 12));
|
2017-09-29 23:55:13 -07:00
|
|
|
|
this.printer.DrawFromHintedCache = true;
|
2015-04-08 15:20:10 -07:00
|
|
|
|
this.allSourceLines = sourceLines;
|
|
|
|
|
|
this.visibleLines = sourceLines;
|
2017-09-29 23:55:13 -07:00
|
|
|
|
printer.Connection.TerminalLog.HasChanged.RegisterEvent(RecievedNewLine, ref unregisterEvents);
|
2015-04-08 15:20:10 -07:00
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
private void ConditionalyAddToVisible(string line)
|
|
|
|
|
|
{
|
|
|
|
|
|
if (StartLineStringFilters != null
|
|
|
|
|
|
&& StartLineStringFilters.Length > 0)
|
|
|
|
|
|
{
|
|
|
|
|
|
bool lineIsVisible = true;
|
|
|
|
|
|
foreach (string startFilter in StartLineStringFilters)
|
|
|
|
|
|
{
|
|
|
|
|
|
if (line == null
|
2017-03-09 10:10:07 -08:00
|
|
|
|
|| line.Contains("M105")
|
2015-04-08 15:20:10 -07:00
|
|
|
|
|| line.Length < 3
|
|
|
|
|
|
|| line.StartsWith(startFilter))
|
|
|
|
|
|
{
|
|
|
|
|
|
lineIsVisible = false;
|
|
|
|
|
|
break;
|
|
|
|
|
|
}
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
if (lineIsVisible)
|
|
|
|
|
|
{
|
|
|
|
|
|
visibleLines.Add(line);
|
|
|
|
|
|
}
|
|
|
|
|
|
}
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
private void RecievedNewLine(object sender, EventArgs e)
|
|
|
|
|
|
{
|
|
|
|
|
|
StringEventArgs stringEvent = e as StringEventArgs;
|
|
|
|
|
|
if (stringEvent != null)
|
|
|
|
|
|
{
|
|
|
|
|
|
ConditionalyAddToVisible(stringEvent.Data);
|
|
|
|
|
|
}
|
|
|
|
|
|
else // the list changed in some big way (probably cleared)
|
|
|
|
|
|
{
|
|
|
|
|
|
if (StartLineStringFilters != null
|
|
|
|
|
|
&& StartLineStringFilters.Length > 0)
|
|
|
|
|
|
{
|
|
|
|
|
|
CreateFilteredList();
|
|
|
|
|
|
}
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
Invalidate();
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
private void CreateFilteredList()
|
|
|
|
|
|
{
|
2016-01-07 16:45:16 -08:00
|
|
|
|
lock(locker)
|
2015-01-21 11:45:42 -08:00
|
|
|
|
{
|
|
|
|
|
|
visibleLines = new List<string>();
|
2015-04-23 13:59:33 -07:00
|
|
|
|
string[] allSourceLinesTemp = allSourceLines.ToArray();
|
2015-01-21 11:45:42 -08:00
|
|
|
|
foreach (string line in allSourceLinesTemp)
|
|
|
|
|
|
{
|
|
|
|
|
|
ConditionalyAddToVisible(line);
|
|
|
|
|
|
}
|
|
|
|
|
|
}
|
2015-04-08 15:20:10 -07:00
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
public void SetLineStartFilter(string[] startLineStringsToFilter)
|
|
|
|
|
|
{
|
|
|
|
|
|
if (startLineStringsToFilter != null
|
|
|
|
|
|
&& startLineStringsToFilter.Length > 0)
|
|
|
|
|
|
{
|
|
|
|
|
|
StartLineStringFilters = startLineStringsToFilter;
|
|
|
|
|
|
CreateFilteredList();
|
|
|
|
|
|
}
|
|
|
|
|
|
else
|
|
|
|
|
|
{
|
|
|
|
|
|
visibleLines = allSourceLines;
|
|
|
|
|
|
}
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
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.
|
|
|
|
|
|
string[] allSourceLinesTemp = allSourceLines.ToArray();
|
|
|
|
|
|
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
|
|
|
|
{
|
2018-01-11 22:11:43 -08:00
|
|
|
|
unregisterEvents?.Invoke(this, null);
|
2015-04-08 15:20:10 -07:00
|
|
|
|
base.OnClosed(e);
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
public override void OnDraw(Graphics2D graphics2D)
|
|
|
|
|
|
{
|
|
|
|
|
|
RectangleDouble Bounds = LocalBounds;
|
|
|
|
|
|
|
|
|
|
|
|
int numLinesToDraw = NumVisibleLines;
|
|
|
|
|
|
|
|
|
|
|
|
double y = LocalBounds.Bottom + printer.TypeFaceStyle.EmSizeInPixels * numLinesToDraw;
|
2016-01-07 16:45:16 -08:00
|
|
|
|
lock(visibleLines)
|
2015-01-21 11:45:42 -08:00
|
|
|
|
{
|
2016-01-07 16:45:16 -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
|
|
|
|
}
|
|
|
|
|
|
}
|
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)
|
|
|
|
|
|
{
|
|
|
|
|
|
printer.Text = visibleLines[lineIndex];
|
|
|
|
|
|
printer.Origin = new Vector2(Bounds.Left + 2, y);
|
|
|
|
|
|
printer.Render(graphics2D, TextColor);
|
|
|
|
|
|
}
|
|
|
|
|
|
}
|
|
|
|
|
|
y -= printer.TypeFaceStyle.EmSizeInPixels;
|
|
|
|
|
|
if (y < -printer.TypeFaceStyle.EmSizeInPixels)
|
|
|
|
|
|
{
|
|
|
|
|
|
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
|
|
|
|
|
|
|
|
|
|
public override void OnMouseWheel(MouseEventArgs mouseEvent)
|
|
|
|
|
|
{
|
|
|
|
|
|
base.OnMouseWheel(mouseEvent);
|
|
|
|
|
|
double scrollDelta = (mouseEvent.WheelDelta / ((visibleLines.Count) * 60.0));
|
|
|
|
|
|
|
2018-07-12 22:49:39 -07:00
|
|
|
|
if (scrollDelta < 0)//Rounding seems to favor scrolling up, compensating scroll down to feel as smooth
|
2015-11-16 12:27:31 -08:00
|
|
|
|
{
|
|
|
|
|
|
scrollDelta *= 2;
|
|
|
|
|
|
}
|
2018-07-12 22:49:39 -07:00
|
|
|
|
else if (Position0To1 == 0)//IF we scroll up at the bottom get pop out from the "on screen" chunk
|
2015-11-16 12:27:31 -08:00
|
|
|
|
{
|
|
|
|
|
|
scrollDelta = (NumVisibleLines/(double)visibleLines.Count);
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
double newPos = Position0To1 + scrollDelta;
|
|
|
|
|
|
|
|
|
|
|
|
if(newPos > 1)
|
|
|
|
|
|
{
|
|
|
|
|
|
newPos = 1;
|
|
|
|
|
|
}
|
|
|
|
|
|
else if(newPos < 0)
|
|
|
|
|
|
{
|
|
|
|
|
|
newPos = 0;
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
Position0To1 = newPos;
|
|
|
|
|
|
}
|
|
|
|
|
|
|
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
|
|
|
|
|
|
&& !keyEvent.Shift) {
|
|
|
|
|
|
|
|
|
|
|
|
double startingScrollPosition = Position0To1;
|
|
|
|
|
|
double scrollDelta = (NumVisibleLines / (double)visibleLines.Count);
|
|
|
|
|
|
double newPos = Position0To1;
|
|
|
|
|
|
|
|
|
|
|
|
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;
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
if (newPos > 1) {
|
|
|
|
|
|
newPos = 1;
|
|
|
|
|
|
} else if (newPos < 0) {
|
|
|
|
|
|
newPos = 0;
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
Position0To1 = newPos;
|
|
|
|
|
|
|
|
|
|
|
|
// we only handled the key if it resulted in the area scrolling
|
|
|
|
|
|
if (startingScrollPosition != Position0To1) {
|
|
|
|
|
|
keyEvent.Handled = true;
|
|
|
|
|
|
}
|
|
|
|
|
|
}
|
|
|
|
|
|
}
|
2015-11-16 12:27:31 -08:00
|
|
|
|
}
|
2015-04-08 15:20:10 -07:00
|
|
|
|
}
|