I added the stackedWidget and richTextWidget (for demo purposes). The
layout is not quite optimal yet (the border around the body pane is a
bit too big). You can test it by running this script (ctrl+b):
w = c.frame.top
sw = w.stackedWidget
rted = w.richTextEdit
rted.setHtml("This is <b>rich text</b>")
sw.setCurrentIndex(1)
Note that I don't think we should rig widgets like this to the core,
and notably not install the event filter for these (since the wanted
behaviour should be dictated by the current widget).
--
Ville M. Vainio
http://tinyurl.com/vainio
--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups
"leo-editor" group.
To post to this group, send email to [email protected]
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at
http://groups.google.com/group/leo-editor?hl=en
-~----------~----~----~----~------~----~------~--~---
