On Tue, Apr 21, 2015 at 11:26 AM, Phil <[email protected]> wrote: > I have a single Leo file that I work with on both a Windows machine and a > Linux machine. Font display is different between the two machines. Is there > a way to have platform-specific settings in a Leo file, so that I can have > it automatically display the way I like, regardless of which platform I > open the file on? >
Not yet. The following is on the "Easy" to-do list: "Support @ifgui in settings trees. This can be done now that gui's are created on the command line." I'll move this up to the top of the list. Expect it within a day or so. EKR -- 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 post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/leo-editor. For more options, visit https://groups.google.com/d/optout.
