Xingwang Ye
2007-Sep-11 13:22 UTC
[R] why I cannot change the font and use hot-key in Editor of JGR 1.5-6
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. Best wishes Yours, sincerely, Xingwang Ye
Jim Lemon
2007-Sep-12 08:36 UTC
[R] why I cannot change the font and use hot-key in Editor of JGR 1.5-6
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