vscode-jumpy
vscode-jumpy copied to clipboard
Make font size adjustable
It would be nice to adjust the font size of the letters. I'm using a higher resolution display and it's very hard to make out the letters, especially similar looking ones like 'c' and 'e'.
Thanks!
Looking at the code I think this can be changed here https://github.com/wmaurer/vscode-jumpy/blob/master/src/jumpy-vscode.ts#L49
:+1: this should be a setting!
I'll try my hand at doing this myself and creating a PR some time this week.
Actually, there seems to already be a PR for this:
https://github.com/wmaurer/vscode-jumpy/pull/16
Would be awesome. Currently this is hard to read.
Update: This was also because "Consolas" font was missing on this machine. Could be an issue on its own.
As a temporary workaround, until #16 is merged, you can manipulate the implementation in your home directory. It's located in .vscode/extensions/wmaurer.vscode-jumpy-0.3.1/out/src/jumpy-vscode.js
The size should probably follow editor font size by default, now Jumpy's font size seems to be fixed, no matter what the editor font size is.
+1, the small font is the only reason i'm not using it. i'm jumping to often to the wrong place.. :)
@sagg https://github.com/wmaurer/vscode-jumpy/pull/16#discussion_r188930901
To everyone still using this plugin, I've switched over to Ace Jump, and found that it's much better (also has customization font sizes and colors).
You can use Jump instead, it automatically adjusts the font size.