On Wed, 30 Oct 2013 23:57:50 -0700 Matt Wilkie <map...@gmail.com> wrote:
> On Wed, Oct 30, 2013 at 10:46 AM, Chris George <technat...@gmail.com> wrote: > > > What did you think of the other approach, of getting writers into a > > customized Leo with a WYSIWYG editor? > > I would love to have a wysiwyg mode in Leo, but think it will take someone > with programming chops and the same itch to happen on the scene. I don't > think there's many of those type around; the process of building a > developer makes them comfortable with plain text. ;-) Well, that's true, but while you were away :-) we got the richtext.py plugin, which embeds the CKEditor in Leo, editing HTML in the body text in a wysiwyg view. http://ckeditor.com/demo#full Even for people who like plain text, it's useful for pasting in formatted text from web pages etc. without getting it mangled. To answer your other question, what's with the QRichTextEdit, there's no Python based gui for rich text editing using a QRichTextEdit. Shouldn't be that hard to build one, but a lot of detail to do it comprehensively, i.e. to get to something like CKEditor. So instead of the obvious native approach we have a javascript rich text editor running in an embedded browser (QWebView) :-) Cheers -Terry > There may be a middle way, it is possible to show the most used rich text > features -- bold, italic, underline, colours -- in plain text. See the > txtfmt plugin for Vim, http://www.txtfmt.webs.com/. Dunno if the same > principles are applicable to Leo. > > (the examples are garish to my eye, but this one in particular shows > promise: [image: > http://txtfmt.webs.com/sample_c_bg.png]<http://txtfmt.webs.com/sample_c_bg.png> > ) > -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To unsubscribe from this group and stop receiving emails from it, send an email to leo-editor+unsubscr...@googlegroups.com. To post to this group, send email to leo-editor@googlegroups.com. Visit this group at http://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/groups/opt_out.
