I finally got to replying to this - and was about to suggest the autoHilight switch, which you've found. For the bindkey, the only thing I can imagine is that the F7 bindkey has been superseded by something else - can you check the bindkey is still valid? I'm not sure otherwise why it wouldn't be possible to set a bindkey on F7 unless maybe there's something in your window manager which is using F7 and preventing it getting through to the application itself. Try replacing the F7 bindkey with something simple (like println(1234)) and see if that works. Try using "xev" in UNIX to see if the F7 bindkey presses are making it through to X windows. Regards, Andrew.
↧