jEdit version: 5.3.0.
Platform: OSX 10.11.4, java: Oracle java 1.8.0_77
Bug: I can't find a way to type the # sign (bar type it in another app and copy and paste).
Steps to reproduce: open jedit. Press option+3 (which is the normal way to produce the # sign on a Mac). Nothing happens.
My speculation (nothing more) is that when the option key is pressed jEdit assumes I'm going to enter a shortcut key, so overrides the OS. But I'm guesing.
I don't have a Mac, so I'm probably wrong here, but isn't the # sign Shift+3 like on every other keyboard?
Yes it is. Shift + 3 gives me # (that's how I typed that. :) ) as expected on my Mac.
The Mac OSX plugin has an option that lets to swap the alt and option keys, perhaps toggling that option will give you a more expected result?
Shift+3 is £ - because I have a UK keyboard! So I guess the equivlanent question/bug/something is "How do you (Townsfolk) get the £ sign?"
However, thanks Alun Ezust - the Msc OSX plugin works - even with all the options disabled!
Interesting. I use alt/option + 3 to get the £ sign.
In the future I'll have to remember to ask for keyboard layout.
I've been using jedit on mac for years and I don't know what you are
talking about. # is sthift-3. £ is option-3. I'm in the US using a US
keyboard setting. Where are you and what is your keyboard setting in OSX
system preferences?
But baring some weird confluence of system keyboard settings and system
shortcuts set for the jedit application, It sounds like you have a jedit
shortcut in place on the # key (however you achieve it.) or there could be
a default that is set for the option -3 combo in a system shortcut or
jedit short cut that takes priority over the key definition.
Look at your shortcuts list in jEdit and see what "#" is mapped to (however
you type it.)
Utilities -> Global Options -> Shortcuts
you can sort on the primary and secondary key combintations by clicking the
collumn title in the shortcut list. If you have a shortcut defined for
"#", just click in that box and then "remove current".
On Fri, May 20, 2016 at 12:11 PM, Townsfolk elberry@users.sf.net wrote:
Related
Bugs:
#3993The Mac UK keyboard has the £ symbol, not the # symbol, on Shift+3. Mystery solved. It appears that installing the Mac plugin solves this particular problem, so I'm closing this. Please reopen if there are more issues.
There is still one slight oddity about this.
If I open jedit, I cannot get the # to work (i.e. option+3 does nothing). If I got to the plugin manager, I see that the MacOSX support plugin is loaded. If I uncheck it (not uninstall, just click on the checkbox) and then immediate recheck it, the # key (£ key for Americans) starts working.