Not sure if you had come across this but different rules can co-exist. For example along with all the @file type directives I have .py files specifically bolded and both the rule for adding the icon and the rule for bolding co-exist without issue. This just keeps getting better! I assume there could be some issues if the rules affected the same style aspects.
On Saturday, August 8, 2015 at 1:39:03 PM UTC-4, john lunzer wrote: > > Just pulled the most recent changes. Auto-update works great and the new > icons look good. I'll be certain to let you know if I come across any > issues. > > On Saturday, August 8, 2015 at 1:06:57 PM UTC-4, john lunzer wrote: >> >> Awesome, thanks for the quick updates, I'll check them out soon (at the >> latest on Monday). >> >> On Saturday, August 8, 2015 at 12:44:44 PM UTC-4, Terry Brown wrote: >>> >>> Also just pushed some icons for different @<file> types, with support >>> for the leo_dark_0 theme. See updated rules in >>> leo/config/leoSettings.leo#@settings-->Tree operation-->@data >>> tree-declutter-patterns >>> >>> Cheers -Terry >>> >>> On Sat, 8 Aug 2015 08:59:35 -0500 >>> "'Terry Brown' via leo-editor" <[email protected]> wrote: >>> >>> > On Fri, 7 Aug 2015 14:15:01 -0700 (PDT) >>> > john lunzer <[email protected]> wrote: >>> > >>> > > One is that the conversions do not seem to take place until a >>> > > certain action occurs in the tree. I can always get the conversions >>> > > to happen from expanding a node (but not contracting a node). It >>> > > also seems like sometimes the tree scrolls to a center a specific >>> > > node after some conversions. >>> > >>> > I think these issues are fixed in the latest push. It was tricky to >>> > get the update to work, it's done on idle so you're outside any redraw >>> > loop. >>> > >>> > Cheers -Terry >>> > >>> >> -- 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.
