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

GitHub / arduino/arduino-ide issues and pull requests

Labelled with: conclusion: declined

#1880 - Git integration inside the IDE (commit only)

Issue - State: closed - Opened by naevtamarkus almost 10 years ago - 4 comments
Labels: type: enhancement, conclusion: declined, topic: code

#1514 - Please follow the freedesktop base dir specs

Issue - State: closed - Opened by goodmind about 10 years ago - 27 comments
Labels: type: enhancement, conclusion: declined, topic: code, os: linux

#140 - Will Python be supported?

Issue - State: closed - Opened by aryanwagh about 6 years ago - 6 comments
Labels: type: enhancement, conclusion: declined, topic: code

#100 - The IDE should handle invalid CLI configuration gracefully

Issue - State: closed - Opened by kittaakos over 5 years ago - 4 comments
Labels: conclusion: declined, topic: code, type: imperfection

#99 - Some hidden characters cause the CLI compilation to fail, and also breaks the language-server

Issue - State: closed - Opened by kittaakos about 5 years ago - 2 comments
Labels: conclusion: declined, topic: code, type: imperfection, criticality: low

#94 - "ctrl+T" changes the braces position I HATE that

Issue - State: closed - Opened by Master811129 about 5 years ago - 9 comments
Labels: conclusion: declined, topic: code, type: imperfection, topic: language server

#92 - Support Theia/VS Code workspaces

Issue - State: closed - Opened by DeeEmm about 5 years ago - 2 comments
Labels: type: enhancement, conclusion: declined, topic: code