Change Jodit Editor to different one

[piotrzarzycki21]

We have two rich text editor which we consider to use:

• DevExpress HTMLTextEditor which is part of used library in our apps. Editor is based on fork of Quill text editor.
• RichTextEditor

[piotrzarzycki21]

@JoelProminic Editor has been change you can deploy last dev version and test -> https://github.com/Moonshine-IDE/Super.Human.Portal/actions/runs/5345925763

[JoelProminic]

The build had expired, so I re-ran it: https://github.com/Moonshine-IDE/Super.Human.Portal/actions/runs/5345925763

[JoelProminic]

I deployed a test build here:

https://domino-49.prominic.net/Super.Human.Portal/js-debug/index.html

Some features that do not seem to be working properly:

• Variable: I don't see an option to change the value here
• "Font" (TT): This toggles to one other font. I feel like this is missing a drop-down to select font and/or size.

[piotrzarzycki21]

I deployed a test build here:

https://domino-49.prominic.net/Super.Human.Portal/js-debug/index.html

Some features that do not seem to be working properly:

• Variable: I don't see an option to change the value here
• "Font" (TT): This toggles to one other font. I feel like this is missing a drop-down to select font and/or size.

@JoelProminic I have added FONT options. It turns out some items in toolbar have to have acceptedValues set to appear. The question is what FONT we would like to have there and what sizes ?

Newest build have that update: https://github.com/Moonshine-IDE/Super.Human.Portal/actions/runs/5410886851

[JoelProminic]

This update was sufficient for now, so we will publish a v0.1.16 release.

There is a remaining issue where special characters are added and do not display properly when copying text from another webpage (this seems to be related to links). For now, we can clean this manually.