Hi guys, super great work on Cursor! been using it for a month and I love it so far.
I love customizing my editor but I can’t seem to change the colour of the grey search box at the top center. What’s the workbench.colorCustomizations property for this?
If you love customizing your editor as much as I do, I recommend installing the Custom CSS and JS Loader extension. It lets you write your own CSS to control pretty much everything about the editor (which is just an Electron wrapper around HTML/CSS). Once installed, you can open a Chrome-like inspector via Command Palette (or Help) → Toggle Developer Tools, and inspect whatever element you want to change in the editor.