Make font size adjustable

[BovineEnthusiast]

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!

[krokofant]

Looking at the code I think this can be changed here https://github.com/wmaurer/vscode-jumpy/blob/master/src/jumpy-vscode.ts#L49

[Coderah]

👍 this should be a setting!

[BovineEnthusiast]

I'll try my hand at doing this myself and creating a PR some time this week.

[BovineEnthusiast]

Actually, there seems to already be a PR for this:

#16

[andys8]

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.

[andys8]

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

[kankaristo]

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.

[sagg]

+1, the small font is the only reason i'm not using it. i'm jumping to often to the wrong place.. :)

[andys8]

@sagg #16 (comment)

[BovineEnthusiast]

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).

[wenfangdu]

You can use Jump instead, it automatically adjusts the font size.