Age | Commit message (Expand) | Author |
---|---|---|
2019-02-16 | First pass at obsoleting old editor APIs | Mikayla Hutchinson |
2016-07-20 | [Ide] Colored segments now store the scope stack and not just the | Mike Krüger |
2015-04-29 | [Ide] Fixed projected semantic highlighting bug. | Mike Krüger |
2015-03-09 | [Ide] Made UpdateSemanticHighlighting public because of F# limitations | Mike Krüger |
2015-02-02 | [Ide] Implemented tooltip provider projections & improved the | Mike Krüger |
2015-02-02 | [Ide] Implemented projected semantic highlighting. | Mike Krüger |
2015-01-30 | [Ide] Started projection infrastructure. | Mike Krüger |