Save result and/or history

[revloc02]

Can we make it so we can save a result?

[danlangford]

i think the easiest thing to do in the short term is make it very easy to copy a result or result history to the clipboard

[danlangford]

i think my way forward on this one will be to have a "history" that is selectable. remember #1? well we are using TextFlow and those are not selectable. I am thinking of revisiting how we solved #1 and replace it with something like https://github.com/FXMisc/RichTextFX. The rich text will allow us to still have markdown results shown in a rich manner and be able to keep a long scrolling history and select portions and save them out. HOWEVER i want to at least wait for v0.10 FXMisc/RichTextFX#776 so we can have cleaner Java11 support.

or in the short term we move over to a scrollable selectable TextArea and just loose and rich formatting. Thats the point of markdown right? to be interesting and accurate even when not rendered. Then we could work out the longer history, selectable entries, and saving (or copying to clipboard) while we wait for something like RichTextFX

any preference @revloc02 ?

[Jugen]

Be advised that RichtextFX v0.10.0 has now been released.