Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / calvin-l/sublime-coq-plugin issues and pull requests
#9 - Water mark does not always go up after editing stepped code
Issue -
State: closed - Opened by lephe over 1 year ago
- 4 comments
#8 - Use is_applicable method of TextChangeListener
Pull Request -
State: closed - Opened by lephe over 1 year ago
- 1 comment
#7 - Avoid undo interfering with high water mark
Pull Request -
State: closed - Opened by lephe over 1 year ago
#6 - High water mark incorrectly moved during undo
Issue -
State: closed - Opened by lephe over 1 year ago
- 3 comments
#5 - Display all focused goals
Pull Request -
State: closed - Opened by lephe almost 3 years ago
- 5 comments
#4 - Improve display of error regions
Pull Request -
State: closed - Opened by lephe almost 3 years ago
- 2 comments
#3 - Prevent proving the contents of the split pane view
Pull Request -
State: closed - Opened by lephe almost 3 years ago
#2 - Add fine-grained seek commands
Pull Request -
State: closed - Opened by lephe about 3 years ago
- 3 comments
#1 - Add several missing language keywords
Pull Request -
State: closed - Opened by EricR over 4 years ago
- 1 comment