Skip to content

Issues: Safe-DS/DSL

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.

Sign up for GitHub

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

Clear current search query, filters, and sorts
10 Open 31 Closed
10 Open 31 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

feat: add custom editor / visualizer to vscode extension enhancement 💡 New feature or request vscode 🔨 Issues regarding tools like the VS Code extension
#1243 opened Oct 21, 2024 by GideonKoenig Loading…
@lars-reimann
29
Show progress of execution enhancement 💡 New feature or request vscode 🔨 Issues regarding tools like the VS Code extension
#1148 opened May 4, 2024 by lars-reimann
Show type of local references in tooltip enhancement 💡 New feature or request vscode 🔨 Issues regarding tools like the VS Code extension
#1134 opened May 3, 2024 by lars-reimann
Code completion for values of literal type enhancement 💡 New feature or request vscode 🔨 Issues regarding tools like the VS Code extension
#1101 opened Apr 25, 2024 by lars-reimann Future
Completion provider: Filter by type of context enhancement 💡 New feature or request vscode 🔨 Issues regarding tools like the VS Code extension
#996 opened Apr 5, 2024 by lars-reimann Future
EDA: Inconsistent colors bug 🪲 Something isn't working vscode 🔨 Issues regarding tools like the VS Code extension
#985 opened Apr 4, 2024 by lars-reimann
@SmiteDeluxe
Create edaPanelManager cleanup 🧹 Refactorings and other tasks that improve the code vscode 🔨 Issues regarding tools like the VS Code extension
#855 opened Feb 5, 2024 by SmiteDeluxe
@SmiteDeluxe
Generate code from VS Code extension enhancement 💡 New feature or request vscode 🔨 Issues regarding tools like the VS Code extension
#720 opened Nov 3, 2023 by lars-reimann Future
Documentation comments enhancement 💡 New feature or request good first issue Good for newcomers validation ✔️ Improved or new static checks vscode 🔨 Issues regarding tools like the VS Code extension
#669 opened Oct 22, 2023 by lars-reimann
5 of 8 tasks
Future
VS Code: Quickfixes enhancement 💡 New feature or request vscode 🔨 Issues regarding tools like the VS Code extension
#44 opened Aug 17, 2021 by lars-reimann Future
ProTip! no:milestone will show everything without a milestone.