Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

REPL font setting stopped working #756

Closed
rafaeldff opened this issue Feb 20, 2015 · 4 comments
Closed

REPL font setting stopped working #756

rafaeldff opened this issue Feb 20, 2015 · 4 comments
Milestone

Comments

@rafaeldff
Copy link

I used to set Intellij's Console Font setting (Settings > Editor > Clolors & Fonts > Console Font) and it would effect cursive REPL windows.

After a recent update (I'm afraid I don't know the precise version where the behavior changed), Cursive REPL windows always use a default font.

I'm running Intellij Idea 14.0.3 and Cursive 0.1.46.

This is pretty important for my setup, as I'm running Linux on a high DPI laptop, and without the ability to change the REPL font it's almost unreadable.

@cursive-ide
Copy link
Owner

I'll see if I can reproduce this - it should use the Console Font settings. There's one difficulty which is that it doesn't affect open REPLs, you have to close your REPL and reopen it. Does that help?

@rafaeldff
Copy link
Author

The "close the REPL and reopen" caveat always existed, it doesn't help anymore. Nor does closing Idea and reopening it.

@cursive-ide
Copy link
Owner

Ok thanks, I'll take a look.

@cursive-ide
Copy link
Owner

Ok, I think I have this fixed, additionally so that closing and reopening is no longer required. However it's historically been very difficult to get this right and I can't test across platforms much (I have no HiDPI Linux device, for example) - would you be willing to test a dev build to see if it works for you? Drop me a mail on cursive@cursiveclojure.com if so.

@cursive-ide cursive-ide added this to the 0.1.49 milestone Mar 2, 2015
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants