TextView libray entry

[sonnyp]

Description

GTK has an extremely powerful framework for multiline text editing. The primary objects involved in the process are GtkTextBuffer, which represents the text being edited, and GtkTextView, a widget which can display a GtkTextBuffer. Each buffer can be displayed by any number of views.

We should have a demo demonstrating usage of TextView, in a ScrolledView with a lot of text.

With a few buttons

• Select all
• Copy
• Paste (at the cursor)

You can find some code examples here https://github.com/sonnyp/Commit/blob/a2dfeddd38ed96bbd0f4ce29fb6a1bc5b215ee44/src/editor.js

Workbench itself also makes use of these (SourceView extends TextView)

Bookmarks

• https://docs.gtk.org/gtk4/section-text-widget.html
• https://docs.gtk.org/gtk4/class.TextView.html
• https://docs.gtk.org/gtk4/class.TextBuffer.html