C# (CSharp) FStarProject FSharpProjectPackage Examples

Example #1

File: FSharpProjectNode.cs Project: YaccConstructor/VisualFStar

        public FSharpProjectNode(FSharpProjectPackage package)
        {
            this.package = package;

            imageIndex = this.ImageHandler.ImageList.Images.Count;

            foreach (Image img in imageList.Images)
            {
                this.ImageHandler.AddImage(img);
            }
        }

Example #2

File: FSharpProjectNode.cs Project: forki/VisualFStar

        public FSharpProjectNode(FSharpProjectPackage package)
        {
            this.package = package;

            imageIndex = this.ImageHandler.ImageList.Images.Count;

            foreach (Image img in imageList.Images)
            {
                this.ImageHandler.AddImage(img);
            }
        }