Diego Mateos

The default one with some color customizations It looks like the drop shadow is related with the default tab color as these affect it: "workbench.colorCustomizations": { "tab.inactiveBackground": "#ffffffb0", "tab.activeBackground": "#007acc48",...

Okay I just did a binary search with the default settings and turns out it was this setting: ```jsonc // Controls the size of editor tabs. This value is ignored...

bump

Hey! its been some time since I used the extension but let me see... 😄 Hovering is now working nice! --- I was looking a bit over the inject.css as...

Let me ping you https://github.com/sfccdevops/explorer-exclude-vscode-extension/issues/64 which details my 2 issues with the extension. I feel those would be very relevant for shared local workspace settings in team + groups globs...

Same here, "drag" pressed down until app restart :( Btw kind of duplicate of https://github.com/mulaRahul/keyviz/issues/341 and probably the caused for https://github.com/mulaRahul/keyviz/issues/218

Just saw https://github.com/phil294/GitLG/issues/87, which I did not in my initial basic search about "commit message" or whatever. Feel free to close this one, although has images for reference. --- About...

Related to your old issue? https://github.com/cinder/Cinder/issues/2194 I mean I guess what you expose now is the reason behind your old post.

You could try lowering the opacity, having thiner lines would require modifications I think would be unable to draw less than one pixel wide lines anyways as this is a...

Hello! After some time of testing, I think that it feels snappier to have mouse position updated even when the widget is unfocused. What I ended up using was the...