Diego Mateos

Results 100 issues of Diego Mateos

Most files in the codebase have trailing whitespaces! Nowadays, most IDE have a built-in functionality to trim trailing-whitespaces enabled by default, e.g. vscode. So I would suggest trimming the WHOLE...

Hello! Just a small PR to ignore vscode artifacts - I always end up adding it for my local branches - But then I manually commit a subset of the...

Imgui supports changing the platform cursor shape based on the context: ![2025-01-07_(181744)_chrome](https://github.com/user-attachments/assets/b4a71c2e-2272-443a-93db-6806de91ae3b) I feel like the resizing indicators help a lot when working with docked windows. This would be platform...

The tabs have this weird drop shadow (affects all themes) -> probably ok to simply add `display: none;` ? ![image](https://github.com/user-attachments/assets/035a201f-7c5a-4f8e-966e-5a3d551a926e) EDIT: this does the trick for example `.monaco-icon-label-container::after { display:...

It seems like the recoloring does not work for ["Floating editor windows"](https://code.visualstudio.com/updates/v1_85#_floating-editor-windows). When I open the developer tools in the external window I see the inject.css in the sources and...

Hey again! I was wondering how colors per branch are picked. For example in this case I ended up with very low contrasty colors: red, orange, orange again, red again......

Hello! I updated the readme to add a picture showing the details panel docked at the bottom + also with the action buttons disabled. I myself prefer it like that...

![2024-11-28_(131021)_Code](https://github.com/user-attachments/assets/175f73b1-843b-4e6e-8216-2311abcc0ca4) > The gifs are high res, so you may open in new page etc for a better view Can you reproduce? --- Btw, now I dont remember how "jump"...

![2024-11-28_(125334)_Code](https://github.com/user-attachments/assets/08de8d5a-7355-43ce-b656-3c078c83cab1) I have other extensions etc, so wondering if you are able to reproduce it! **Also just to mention it, the resizing handle is a bit awkwardly placed.** Everybody expects...

I usually disable `git-log--graph.hide-quick-branch-tips` because I dislike the scrolling area that sometimes appear and I find most of the text a bit redundant. But then I lose the GREAT sticky...