[R] why I cannot change the font and use hot-key in Editor of JGR 1.5-6

[Jim Lemon]

Xingwang Ye wrote:
> Dear R users,
> Yesterday, I updated R 2.4.1 to R 2.5.1  on Unbuntu 7.0.4 successfully. 
> I also update the JGR to 1.5-6 according to 
> http://rosuda.org/JGR/linux.shtml (after "sudo update-java-alternatives 
> -s java-6-sun", I cannot do "sudo update-java-alternatives -s 
> java-1.6.0-sun"). I can use the JGR console normally.
> 
> however, I cannot use hot-key such as "ctrl+r" in the Editor, if I use 
> it, the selected contents are replaced by "r", it seems that "ctrl" does 
> not act, whereas I can use mouse to click the "run selection ctrl + r" 
> in menu.
> 
> Another problem is that I can change the font in the console but not in 
> the Editor.
> 
> Could some one help me to solve them? thank you in advance.
> 
Hi Xingwang,
This is pure guessing, but I have noticed with NEdit that if I 
inadvertantly hit the Caps Lock key, the Alt-<letter> combinations stop 
working and the letter appears as if I had typed it. As soon as I turn 
off Caps Lock, the problem disappears.

Jim