Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[display] UInt is missing from workspace symbols #8004

Closed
Gama11 opened this issue Mar 16, 2019 · 1 comment · Fixed by #11950
Closed

[display] UInt is missing from workspace symbols #8004

Gama11 opened this issue Mar 16, 2019 · 1 comment · Fixed by #11950
Assignees
Labels
feature-ide IDE / Editor support test-needed
Milestone

Comments

@Gama11
Copy link
Member

Gama11 commented Mar 16, 2019

The workspace symbol results for uint don't include the UInt type itself:

This seems to be target-specific, it works on Flash/C# (native UInt support), but not JS/Neko.

@Gama11 Gama11 added bug feature-ide IDE / Editor support labels Mar 16, 2019
@Simn Simn added this to the Release 4.1 milestone May 22, 2019
@Simn Simn self-assigned this Feb 19, 2020
@nadako
Copy link
Member

nadako commented Apr 5, 2020

That seems to work now.

@nadako nadako modified the milestones: Release 4.1, Release 4.2 Apr 5, 2020
@nadako nadako removed the bug label Apr 5, 2020
@RealyUniqueName RealyUniqueName modified the milestones: Release 4.2, Bugs Dec 14, 2020
@Simn Simn modified the milestones: Bugs, Later Mar 24, 2023
kLabz added a commit that referenced this issue Jan 28, 2025
kLabz added a commit that referenced this issue Jan 28, 2025
kLabz added a commit that referenced this issue Jan 28, 2025
kLabz added a commit that referenced this issue Jan 29, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
feature-ide IDE / Editor support test-needed
Projects
None yet
Development

Successfully merging a pull request may close this issue.

4 participants