forgot to mention, it should be possible as an option to ignore all default Leo "theme" settings. some users would just as soon like Leo to grab default colors/styles from their window manager theme and adhere as much as possible to those. not to say in any way this would be easier. much the opposite. this could make Leo look wildly different or even unusable for those that use Leo on more than one desktop regularly. http://www.freedesktop.org/wiki/Specifications
On Oct 2> On Oct 25, 10:16 am, "Edward K. Ream" <edream...@gmail.com> wrote:> > > Leo will soon do more than what you are > > asking directly. -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To post to this group, send email to leo-editor@googlegroups.com. To unsubscribe from this group, send email to leo-editor+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/leo-editor?hl=en.
