예제 #1
0
 private static NavigationBarItem ConvertToNavigationBarItem(FSharpNavigationBarItem item, ITextSnapshot textSnapshot)
 {
     return(new InternalNavigationBarItem(
                item.Text,
                FSharpGlyphHelpers.ConvertTo(item.Glyph),
                NavigationBarItem.GetTrackingSpans(textSnapshot, item.Spans.ToImmutableArrayOrEmpty()),
                ConvertItems(textSnapshot, item.ChildItems),
                item.Indent,
                item.Bolded,
                item.Grayed));
 }
예제 #2
0
 private static NavigationBarItem ConvertToNavigationBarItem(FSharpNavigationBarItem item)
 {
     return
         (new InternalNavigationBarItem(
              item.Text,
              FSharpGlyphHelpers.ConvertTo(item.Glyph),
              item.Spans,
              item.ChildItems?.Select(x => ConvertToNavigationBarItem(x)).ToList(),
              item.Indent,
              item.Bolded,
              item.Grayed));
 }
예제 #3
0
        private static NavigationBarItem ConvertToNavigationBarItem(FSharpNavigationBarItem item)
        {
            var childItems = item.ChildItems ?? SpecializedCollections.EmptyList <FSharpNavigationBarItem>();

            return(new InternalNavigationBarItem(
                       item.Text,
                       FSharpGlyphHelpers.ConvertTo(item.Glyph),
                       item.Spans.ToImmutableArrayOrEmpty(),
                       childItems.SelectAsArray(x => ConvertToNavigationBarItem(x)),
                       item.Indent,
                       item.Bolded,
                       item.Grayed));
        }
        private static NavigationBarItem ConvertToNavigationBarItem(FSharpNavigationBarItem item, ITextVersion textVersion)
        {
            var spans = item.Spans.ToImmutableArrayOrEmpty();

            return(new SimpleNavigationBarItem(
                       textVersion,
                       item.Text,
                       FSharpGlyphHelpers.ConvertTo(item.Glyph),
                       spans,
                       ConvertItems(item.ChildItems, textVersion),
                       item.Indent,
                       item.Bolded,
                       item.Grayed));
        }