You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I'm not 100% sure if it's possible to do this with racket-gui, but it would be nice to have keys to set the rating/star count. On Mac, I'd propose CMD+OPT+[number], with CTRL+ALT+[number] for Win/Lin.
The second modifier key leaves the plain CMD+[number] available for possibly setting a zoom level, as in the Gimp and other apps.
The text was updated successfully, but these errors were encountered:
I'm not 100% sure if it's possible to do this with
racket-gui
, but it would be nice to have keys to set the rating/star count. On Mac, I'd propose CMD+OPT+[number], with CTRL+ALT+[number] for Win/Lin.The second modifier key leaves the plain CMD+[number] available for possibly setting a zoom level, as in the Gimp and other apps.
The text was updated successfully, but these errors were encountered: