That's a fun idea, and probably not too hard, PR's welcome!
On Tue, Mar 19, 2019 at 2:45 PM Alexander Ilin wrote:
> Hello!
>
> The prettyprinter is pretty powerful, but can it be used to create
> rich-text GUIs?
> For example, is it possible to use the `flow` section to make the text
> in th
Hello!
The prettyprinter is pretty powerful, but can it be used to create rich-text
GUIs?
For example, is it possible to use the `flow` section to make the text in the
following pane automatically adapt to the window width as user resizes the
window?
MAIN-WINDOW: set-version-window {
{
