Skip to content

Add TextBuffer and some other things #1507

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Draft
wants to merge 1 commit into
base: develop
Choose a base branch
from
+1,018 −236
Draft

Add TextBuffer and some other things #1507

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
138 changes: 27 additions & 111 deletions src/Eto.Gtk/Forms/Controls/RichTextAreaHandler.cs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -15,16 +15,6 @@ public class RichTextAreaHandler : TextAreaHandler<Gtk.TextView, RichTextArea, R
List<Gtk.TextTag> insertTags = new List<Gtk.TextTag>();
List<Gtk.TextTag> removeTags = new List<Gtk.TextTag>();

const string WeightTagPrefix = "w-";
const string StyleTagPrefix = "s-";
const string StretchTagPrefix = "h-";
const string UnderlineTagPrefix = "u-";
const string StrikethroughTagPrefix = "t-";
const string FontSizePrefix = "f-";
const string ForegroundTagPrefix = "fg-";
const string BackgroundTagPrefix = "bg-";
const string FamilyTagPrefix = "fm-";

bool keepTags;

protected override void Initialize()
Expand Down Expand Up @@ -66,72 +56,6 @@ void HandleInsertText(object o, Gtk.InsertTextArgs args)
keepTags = true;
}

void ApplySelectionTag(string prefix, string variation, Action<Gtk.TextTag> apply)
{
var tagName = prefix + variation;

Gtk.TextIter start, end;
var buffer = Control.Buffer;
if (buffer.GetSelectionBounds(out start, out end))
{
// apply formatting to the selection
ApplyTag(prefix, variation, start, end, apply);
}
else
{
// nothing selected, set insertion formatting
buffer.TagTable.Foreach(t =>
{
if (t.Name != null && t.Name != tagName && t.Name.StartsWith(prefix, StringComparison.Ordinal) && !removeTags.Contains(t))
removeTags.Add(t);
});
insertTags.RemoveAll(removeTags.Contains);
removeTags.RemoveAll(r => r.Name == tagName);

var tag = buffer.TagTable.Lookup(tagName);
if (tag == null)
{
tag = new Gtk.TextTag(tagName);
apply(tag);
buffer.TagTable.Add(tag);
}
insertTags.Add(tag);
}
}

void ApplyTag(string prefix, string variation, Gtk.TextIter start, Gtk.TextIter end, Action<Gtk.TextTag> apply)
{
var buffer = Control.Buffer;
var tagName = prefix + variation;
var tagsToRemove = new List<Gtk.TextTag>();
buffer.TagTable.Foreach(t =>
{
if (t.Name != null && t.Name.StartsWith(prefix, StringComparison.Ordinal))
tagsToRemove.Add(t);
});
foreach (var removeTag in tagsToRemove)
{
buffer.RemoveTag(removeTag, start, end);
}

var tag = buffer.TagTable.Lookup(tagName);
if (tag == null)
{
tag = new Gtk.TextTag(tagName);
apply(tag);
buffer.TagTable.Add(tag);
}
buffer.ApplyTag(tag, start, end);
}

void ApplyTag(string prefix, string variation, Range<int> range, Action<Gtk.TextTag> apply)
{
var buffer = Control.Buffer;
var start = buffer.GetIterAtOffset(range.Start);
var end = buffer.GetIterAtOffset(range.End + 1);
ApplyTag(prefix, variation, start, end, apply);
}

bool SelectionHasTag(string prefix, string variation)
{
var tagName = prefix + variation;
Expand All @@ -148,46 +72,13 @@ bool SelectionHasTag(string prefix, IEnumerable<string> variations)

public void SetFont(Range<int> range, Font font)
{
var pangoFont = font.ToPango();
var variation = pangoFont != null ? pangoFont.Handle.ToString() : string.Empty;
ApplyTag(FamilyTagPrefix, pangoFont.Family, range, tag =>
{
tag.Family = pangoFont.Family;
tag.FamilySet = true;
});
ApplyTag(FontSizePrefix, pangoFont.Size.ToString(), range, tag =>
{
tag.Size = pangoFont.Size;
tag.SizeSet = true;
});
ApplyTag(StretchTagPrefix, variation, range, tag =>
{
tag.Stretch = pangoFont.Stretch;
tag.StretchSet = true;
});
ApplyTag(StyleTagPrefix, pangoFont.Style.ToString(), range, tag =>
{
tag.Style = pangoFont.Style;
tag.StyleSet = true;
});
ApplyTag(WeightTagPrefix, pangoFont.Weight.ToString(), range, tag =>
{
tag.Weight = pangoFont.Weight;
tag.WeightSet = true;
});
SetUnderline(range, font.FontDecoration.HasFlag(FontDecoration.Underline));
SetStrikethrough(range, font.FontDecoration.HasFlag(FontDecoration.Strikethrough));
Control.Buffer.SetFont(range, font);
Callback.OnTextChanged(Widget, EventArgs.Empty);
}

public void SetFamily(Range<int> range, FontFamily family)
{
var pangoFamily = family.ToPango().Name;
ApplyTag(FamilyTagPrefix, pangoFamily, range, tag =>
{
tag.Family = pangoFamily;
tag.FamilySet = true;
});
Control.Buffer.SetFamily(range, family);
Callback.OnTextChanged(Widget, EventArgs.Empty);
}

Expand Down Expand Up @@ -605,6 +496,31 @@ public ITextBuffer Buffer

protected override WeakConnector CreateConnector() => new RichTextAreaConnector();

public void Insert(int position, ITextBuffer buffer)
{
throw new NotImplementedException();
}

public void Append(string text)
{
throw new NotImplementedException();
}

public void Append(ITextBuffer buffer)
{
throw new NotImplementedException();
}

public void BeginEdit()
{
throw new NotImplementedException();
}

public void EndEdit()
{
throw new NotImplementedException();
}

protected class RichTextAreaConnector : TextAreaConnector
{
public new RichTextAreaHandler Handler => (RichTextAreaHandler)base.Handler;
Expand Down
23 changes: 23 additions & 0 deletions src/Eto.Gtk/Forms/Controls/TextAreaHandler.cs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -280,6 +280,27 @@ static void PreventEnterKey(object o, Gtk.KeyPressEventArgs args)
args.RetVal = false;
}

public void ScrollTo(Range<int> range)
{
var iter = Control.Buffer.GetIterAtOffset(range.Start + range.Length());
var mark = Control.Buffer.CreateMark(null, iter, false);
Control.ScrollToMark(mark, 0, false, 0, 0);
}

public void ScrollToEnd()
{
var end = Control.Buffer.EndIter;
var mark = Control.Buffer.CreateMark(null, end, false);
Control.ScrollToMark(mark, 0, false, 0, 0);
}

public void ScrollToBeginning()
{
var end = Control.Buffer.StartIter;
var mark = Control.Buffer.CreateMark(null, end, false);
Control.ScrollToMark(mark, 0, false, 0, 0);
}

public override Font Font
{
get { return base.Font; }
Expand Down Expand Up @@ -328,5 +349,7 @@ public TextReplacements SupportedTextReplacements
{
get { return TextReplacements.None; }
}

public int TextLength => Control.Buffer.CharCount;
}
}
Loading