Markus Jarderot comments

Results 5 comments of


                                            Markus Jarderot

Feature request: Allow empty group names

I like to put a Unicode symbol or emoji as the group name. ![image](https://user-images.githubusercontent.com/277403/124679518-db5a0c00-dec4-11eb-98b7-8755282eeb03.png)

Tab Groups get nested weirdly when using pinned tabs

This should be fixed with PR #16. There has not been any new release since then though.

Rust track exercise "xorcism" cannot run tests

Now same problem with `rstest`: ``` error: failed to select a version for the requirement `rstest = "^0.6.4"` candidate versions found which didn't match: 0.11.0 location searched: `/opt/test-runner/local-registry` index (which...

"IF EXISTS" qualifier mistaken for "IF" statement

Same for other statements: ``` DROP AGGREGATE [ IF EXISTS ] DROP ASSEMBLY [ IF EXISTS ] DROP DATABASE [ IF EXISTS ] DROP DEFAULT [ IF EXISTS ] DROP...

Create an Azure DevOps Extension

> Hello. Any ballpark timeframe on the ADO extension ? Thanks ! This issue is currently in the [Dev Home v0.5](https://github.com/microsoft/devhome/milestone/5) milestone, which has a due date of September 15,...