Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / david-christiansen/idris-code-highlighter issues and pull requests

#12 - Fix off-by-one end column

Pull Request - State: closed - Opened by kevinboulain over 6 years ago - 3 comments

#11 - Fixes #10.

Pull Request - State: closed - Opened by jfdm over 7 years ago - 2 comments

#10 - Filename comparison is too strict.

Issue - State: open - Opened by jfdm over 7 years ago - 8 comments

#9 - Update for Idris 0.12.2, WIP Effects, general tidying

Pull Request - State: closed - Opened by yurrriq about 8 years ago - 5 comments

#7 - Switch to Edwin's effects library for file and I/O handling

Issue - State: closed - Opened by david-christiansen about 9 years ago
Labels: enhancement, Low-hanging fruit

#6 - Highlighting uses wrong source locations on Windows

Issue - State: closed - Opened by archaeron about 9 years ago - 12 comments
Labels: bug

#5 - Show fully-qualified names in tooltips

Issue - State: open - Opened by david-christiansen about 9 years ago
Labels: Low-hanging fruit, HTML backend

#4 - .lidr support

Issue - State: open - Opened by david-christiansen about 9 years ago
Labels: enhancement

#3 - Enforce sorting invariant using type system

Issue - State: open - Opened by david-christiansen about 9 years ago

#2 - HTML files should have links

Issue - State: open - Opened by david-christiansen about 9 years ago - 1 comment
Labels: HTML backend

#1 - Command line argument handling is a zygote of what it should be

Issue - State: open - Opened by david-christiansen about 9 years ago
Labels: enhancement, User interface