Comments (3)
I wonder whether the problem is that DrRacket's keybinding list filters Meta combinations on Mac OS X, even when "Treat Alt key as Meta" is checked. I see bindings for "esc;o" and "esc;p", and on Windows I see "~c
from drracket.
I have found the following key binding that might affect M-o.
toggle-overwrite (when enabled in prefs) (?:a:o)
I am a bit unsure what the ? mean, but if I enable overwrite mode in prefs,
M-o does toggle it.
Maybe M-o is bound even if overwrite mode is disabled in prefs?
Likewise for M-p I see that ?
(?
/Jens Axel
2015-01-26 15:46 GMT+01:00 Matthew Flatt [email protected]:
I wonder whether the problem is that DrRacket's keybinding list filters
Meta combinations on Mac OS X, even when "Treat Alt key as Meta" is
checked. I see bindings for "esc;o" and "esc;p", and on Windows I see "~c[image:
Ⓜ️ ]o" and "~c[image:Ⓜ️ ]p" bindings.—
Reply to this email directly or view it on GitHub
#1 (comment).
Jens Axel Søgaard
from drracket.
Sorry for the long delay in catching up here.
As far as I can tell, the behavior I see is the correct behavior with one exception below.
Here's why I think that:
When "treat alt as meta" is turned on, "a:o" toggles overwrite mode and "a:p" is "jump to previous error loc" both of which take precedence over ø or π. These keybindings show up in the DrRacket's keybinding window (Edit|Keybindings|Show Active Keybindings).
When "treat alt as meta" is turned off, "a:o" produces ø and "a:p" produces π and entries for these no longer show up in the keybindings window.
I think one could argue that when "Enable overwrite mode keybindings" is not checked, that maybe "a:o" should produce ø, even if "treat alt as meta" is turned on. Keymaps don't seem to support removing keybindings but I think with some work rearranging the way keymaps are chained that could probably be fixed. Is that worth attempting?
from drracket.
Related Issues (20)
- "Kill" button is misleading HOT 3
- Writing prevents tab switching HOT 1
- `Run` related timing-specific rendering bug w/definition drop-down
- MacOS, Monterey at least, Warning: Window move completed without beginning
- [Feature] Make/permit arrows (spec. tacked arrows) show on minimap HOT 1
- DrRacket crashes to desktop on Windows 10 and 11 64 bit HOT 4
- Add a Touch Typing Tutorial to DrRacket
- Parrot or espeak package/library
- Insert large letters + big font size makes UI unnavigable HOT 1
- Package updates fail unless I run DrRacket as administrator HOT 1
- DrRacket internal error, difficulty w/^C HOT 3
- Sticky scroll shows the current scope at the top of definitions HOT 1
- Bump version of drracket-tool-text-lib HOT 1
- HEART LOGO EVERY DAY NOT JUST VALENTINE'S DAY HOT 1
- Various unicode symbols fail to display anywhere in the application after being displayed in italics HOT 1
- DrRacket very slow for text editing after new installation HOT 7
- DrRacket Crashes on Debug Rerun on Earlier Stack-frame HOT 1
- out of control memory use on rhombus/private/string.rkt HOT 6
- DrRacket crashes w/mutation while enumeration HOT 3
- Add default quickscripts HOT 13
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from drracket.