Skip to main content
Thomas's user avatar
Thomas's user avatar
Thomas's user avatar
Thomas
  • Member for 6 years, 4 months
  • Last seen this week
revised
Loading…
revised
Loading…
Loading…
revised
remove copilot as contributor of github repo
add example instead of providing links /cc @Peter Pointer
Loading…
Loading…
comment
Codecov failing, and I don't understand why (and how fix this)
I think I understood why it kept failing : it is because in some line of code modified in the PR were not covered (5 or 6 in the whole code, corresponding to the specifi case that will never occur at usage). So I guess I'll just merge the PR with the red cross for the CI failed...
revised
Codecov failing, and I don't understand why (and how fix this)
added 129 characters in body; edited title
Loading…
comment
Codecov failing, and I don't understand why (and how fix this)
Yes, you are right, it is unclear. I edited my post to be (I hope) more clear
Loading…
comment
Doxygen docstring displayable in vscode
@NaveedAhmed which extension ? I have this one marketplace.visualstudio.com/items/?itemName=bbenoist.Doxyge‌​n, but is does not display correctly in VScode. Is there another extension ? I quickly looked at the list in the market, but without success yet...
comment
Doxygen docstring displayable in vscode
This is the same problem as before : Doxygen works well, but vscode no longer recognizes the parameters
comment
Doxygen docstring displayable in vscode
I did try that, but there it just converts this into markdown, and no longer lists the arguments in a pretty way (cf gist.github.com/user-attachments/assets/…)
Loading…
revised
Add a button to jump to location on the map
deleted 1 character in body
Loading…
Loading…
awarded
awarded
accepted
comment
Keep pinned files displayed in vscode
thanks for your answer, it takes a little more space on the screen, but not that much, so that's good enough for me ;) (even though the possibility of having it on a single line as in my initial post would be optimal !)
comment
Keep pinned files displayed in vscode
how have you managed to do it? I only found the setting Workbench > Editor: Wrap Tabs, which results in a huge heap of 4 lines of tabs (which takes 1/4 of the screen, as I have many tabs opened !) Edit: see the answer by Timothy G. below
1
2 3 4 5