I've just killed #1298 <https://github.com/leo-editor/leo-editor/issues/1298> and #1301 <https://github.com/leo-editor/leo-editor/issues/1301>. #1298 suggests using a .ini file. #1301 suggests replacing @string theme-name with an *implicit* setting in g.app.db.
Both were my ideas. Both are truly wretched. Each would complicate how Leo handles settings. Each would confuse newbies and seasoned Leonistas alike. Yes, there are problems with theme files. Alas, we have to live with those problems. Yes, theme-related settings are inconsistent. Alas, there are reasons for those inconsistencies. Even if we could remove some inconsistencies, doing so would imply changing all existing theme files. I'm not going to do this to the authors of Leo's themes. Yes, it would be better if theme files could load before myLeoSettings.leo. But there is no good way to do that, and there the present way does not, in fact, cause significant problems. Changing the order in which Leo loads theme files might (will!) cause new headaches for all Leonistas. It's not going to happen. Edward -- 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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/b03b9854-9ed5-4fb5-bc9b-1479c6d5f44f%40googlegroups.com.
