On Tue, 21 Apr 2015 11:47:26 -0500 "Edward K. Ream" <[email protected]> wrote:
> 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." Just thinking aloud - if you're going to work on that, would it be good to support things like @ifos and @ifenveq to, to test for OS and an environment variable being set to a particular value, the latter being extremely flexible in terms of what the user could control with it. Cheers -Terry > 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.
