codemirror/lint
1
0
Fork 0
Code Pull requests Activity
Labels Milestones
Search syntax
assignee:<username> Filter by assigned user
author:<username> Filter by the author
is:all All
is:closed Closed
is:open Open
mentions:<username> Filter by mentioned user
modified:[>|<]<date> Filter by last modified date
review:<username> Filter by user who reviewed
sort:<by>:[asc|desc] Sort by: created|comments|updated|deadline
New pull request
0 Open 17 Closed 17 All
Label
Clear labels
Milestone
No milestone
Projects
Clear projects
Assignee
Clear assignees
No assignee
marijn
Improve colors for dark themes
1
#18 by arildm was merged 2026-02-13 08:17:37 +01:00
main
Add optional markClass to Actions
1
#17 by benniekiss was merged 2025-09-26 09:02:46 +02:00
main
Initialize reducer with an empty array
1
#16 by hubgit was closed 2023-07-20 17:51:03 +02:00
main
Add toggleLintPanel to alternate state.
1
#15 by gburtini was closed 2023-07-20 18:21:30 +02:00
main
Access Event in Diagnostic apply fn
3
#14 by bradymadden97 was closed 2023-04-26 22:11:11 +02:00
main
Fix apply callback running twice in diagnostic actions
3
#13 by sergeichestakov was closed 2023-02-15 08:11:05 +01:00
main
Support overriding lint panel UI
2
#12 by bradymadden97 was closed 2023-01-27 19:13:44 +01:00
main
[codemirror/dev#1053] Update lint action button cursor to pointer
#11 by ashmind was merged 2023-01-05 08:32:18 +01:00
main
Fixed typo
1
#10 by thetrevorharmon was merged 2022-11-15 17:09:09 +01:00
main
feat: add getDiagnostics function
9
#9 by nathanlesage was closed 2022-11-15 10:24:04 +01:00
main
Add a diagnostics accessor
2
#8 by marstamm was closed 2022-07-28 12:08:26 +02:00
main
Export lintState StateField
5
#7 by thetrevorharmon was closed 2022-07-27 10:27:04 +02:00
main
Add config option to control whether tooltips are displayed for linter decorations
10
#6 by timdown was closed 2022-05-02 08:29:06 +02:00
main
Ensure that lint gutter tooltip is displayed underneath the gutter marker
3
#5 by hubgit was closed 2022-02-25 16:48:15 +01:00
main
Allow lint gutter hover time to be configured
4
#4 by hubgit was merged 2022-02-25 12:31:30 +01:00
main
Fixes lint issue
3
#2 by puneeth8994 was closed 2026-04-07 20:36:45 +02:00
main
Get rid of continue statement that was throwing error by Babel on Angular
4
#1 by NagRock was closed 2021-01-12 11:43:22 +01:00
main