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.

Sign up for GitHub

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

Jump to bottom

IntelliJ IDEA 2022.1.2 REPL Pinch to zoom #2726

Closed
hiram-madelaine opened this issue Sep 5, 2022 · 5 comments
Closed

IntelliJ IDEA 2022.1.2 REPL Pinch to zoom #2726

hiram-madelaine opened this issue Sep 5, 2022 · 5 comments
Labels
bug Marks issues describing bugs released Marks issues which have had the fixes released in a stable build released-eap Marks issues which have had the fixes released in an EAP build
Milestone
1.13.1-eap9

Comments

@hiram-madelaine
Copy link

Hi !

I have just updated cursive to IntelliJ IDEA 2022.1.2 / 1.12.4 and I can not pinch to zoom the REPL window..
I can not use the Command + wheel mouse neither
I am on MacOS M1

Thank you
Best regards
@aschofie
Copy link

I am a new cursive user, but on windows the ctrl+mousewheel font size change which I have enabled in Intellij does not work in the Cursive REPL, which I do not know was ever a feature (although this issue seems to imply it), but it feels very anachronistic not being able to do so.

IntelliJ IDEA 2022.3 (Ultimate Edition)
Build #IU-223.7571.182, built on November 29, 2022

@kolstae kolstae mentioned this issue May 11, 2023
Closed
@cursive-ide
Copy link
Owner

I'm not sure what is meant here by pinch to zoom, but I've fixed the mouse wheel zoom, and I'm hopeful that that change will also have fixed other zoom types.

@cursive-ide cursive-ide added this to the 1.13.1 milestone Oct 30, 2023
@cursive-ide cursive-ide added the bug Marks issues describing bugs label Oct 30, 2023
@cursive-ide cursive-ide modified the milestones: 1.13.1, 1.13.1-eap9 Nov 27, 2023
@cursive-ide
Copy link
Owner

Fix released in 1.13.1-eap9 on 2023-11-27.

@cursive-ide cursive-ide added the released-eap Marks issues which have had the fixes released in an EAP build label Nov 27, 2023
@hiram-madelaine
Copy link
Author

Thank you very much for fixing this issue. It looked like nothing but for me it was very annoying !

@cursive-ide
Copy link
Owner

Fix released in 1.13.1 on 2023-12-07.

@cursive-ide cursive-ide added the released Marks issues which have had the fixes released in a stable build label Dec 7, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
bug Marks issues describing bugs released Marks issues which have had the fixes released in a stable build released-eap Marks issues which have had the fixes released in an EAP build
Projects
None yet
Milestone
1.13.1-eap9
Development

No branches or pull requests
3 participants
@hiram-madelaine @cursive-ide @aschofie