Unfortunately the current implementation uses a Gtk:TextView that doesn't support markups (if I understand correctly). So we need to replace it with a scrollable Gtk Widget (or a set of widgets) that supports markups. Could a Gtk expert advise?
Unfortunately the current implementation uses a Gtk:TextView that doesn't support markups (if I understand correctly). So we need to replace it with a scrollable Gtk Widget (or a set of widgets) that supports markups.
Could a Gtk expert advise?