Skip to content

Issues: mchakravarty/CodeEditorView

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

Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Assignee
Filter by who’s assigned
Sort

Issues list

More message categories enhancement New feature or request
#104 opened May 8, 2024 by mchakravarty
Message telescopes enhancement New feature or request
#103 opened May 8, 2024 by mchakravarty
2 tasks
Generalised messages enhancement New feature or request
#102 opened May 8, 2024 by mchakravarty
4 tasks
Unreliable minimap redraw architecture Requires changes that affect the general architecture bug Something isn't working
#99 opened Feb 12, 2024 by mchakravarty
Custom code view advanced Larger effort with open questions architecture Requires changes that affect the general architecture performance Profiling and performance debugging
#93 opened Jan 13, 2024 by mchakravarty
Custom view for the minimap advanced Larger effort with open questions architecture Requires changes that affect the general architecture performance Profiling and performance debugging
#92 opened Jan 13, 2024 by mchakravarty
4 tasks
General performance advanced Larger effort with open questions architecture Requires changes that affect the general architecture performance Profiling and performance debugging
#91 opened Jan 13, 2024 by mchakravarty
2 tasks
Line wrapping on iOS bug Something isn't working iOS Issue specific to iOS/iPadOS
#90 opened Jan 5, 2024 by mchakravarty
2 tasks
Fix nested comment handling bug Something isn't working
#89 opened Jan 3, 2024 by mchakravarty
1 of 2 tasks
Bracket matching fails on immediately adjacent brackets bug Something isn't working
#82 opened Nov 21, 2023 by mchakravarty
State up front that there are two products documentation Improvements or additions to documentation
#81 opened Nov 2, 2023 by ayrtonsoftware
Unnecessary drawing in gutter during scrolling macOS Issue specific to macOS performance Profiling and performance debugging
#80 opened Oct 6, 2023 by mchakravarty
Support for placeholders and holes enhancement New feature or request
#78 opened Sep 26, 2023 by mchakravarty
9 tasks
Implement CodeActions for iOS enhancement New feature or request iOS Issue specific to iOS/iPadOS
#77 opened Sep 4, 2023 by mchakravarty
Indicate LanguageService supported functionality enhancement New feature or request
#76 opened Aug 21, 2023 by mchakravarty
Fix expanded message display bug Something isn't working design Design related issues
#75 opened Aug 7, 2023 by mchakravarty
2 tasks
Message content enhancement New feature or request
#74 opened Jun 15, 2023 by mchakravarty
Disabled messages enhancement New feature or request
#73 opened Jun 14, 2023 by mchakravarty
Agda language configuration enhancement New feature or request
#72 opened May 31, 2023 by mchakravarty
3 of 7 tasks
Highlighting of semantic token information design Design related issues enhancement New feature or request
#70 opened May 26, 2023 by mchakravarty
2 tasks
Support for LSP-style semantic token modifiers enhancement New feature or request
#68 opened May 12, 2023 by mchakravarty
Positioning of messages when line wrapping is off bug Something isn't working design Design related issues
#64 opened May 2, 2023 by mchakravarty
Stuttering resizing of windows with a lot of text performance Profiling and performance debugging textkit2 Might depend on move to TextKit 2
#63 opened May 2, 2023 by mchakravarty
Move Tokeniser from NSString to String refactor Improve code architecture
#58 opened Apr 10, 2023 by mchakravarty
ProTip! Type g i on any issue or pull request to go back to the issue listing page.