Menu

#3993 Can't use # sign in OSX

severe bug
closed
nobody
None
5
2016-05-24
2016-05-19
Phil Evans
No

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.

Related

Bugs: #3993

Discussion

  • Dale Anson

    Dale Anson - 2016-05-19

    I don't have a Mac, so I'm probably wrong here, but isn't the # sign Shift+3 like on every other keyboard?

     
    • Townsfolk

      Townsfolk - 2016-05-19

      Yes it is. Shift + 3 gives me # (that's how I typed that. :) ) as expected on my Mac.

       
  • Alan Ezust

    Alan Ezust - 2016-05-19

    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?

     
  • Phil Evans

    Phil Evans - 2016-05-20

    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!

     
    • Townsfolk

      Townsfolk - 2016-05-20

      Interesting. I use alt/option + 3 to get the £ sign.

      In the future I'll have to remember to ask for keyboard layout.

       
      • Mikey

        Mikey - 2016-05-20

        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:

        Interesting. I use alt/option + 3 to get the £ sign.

        In the future I'll have to remember to ask for keyboard layout.

        Status: open
        Group: severe bug
        Created: Thu May 19, 2016 09:34 AM UTC by Phil Evans
        Last Updated: Fri May 20, 2016 06:58 AM UTC
        Owner: nobody

        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.


        Sent from sourceforge.net because jedit-devel@lists.sourceforge.net is
        subscribed to https://sourceforge.net/p/jedit/bugs/

        To unsubscribe from further messages, a project admin can change settings
        at https://sourceforge.net/p/jedit/admin/bugs/options. Or, if this is a
        mailing list, you can unsubscribe from the mailing list.


        Mobile security can be enabling, not merely restricting. Employees who
        bring their own devices (BYOD) to work are irked by the imposition of MDM
        restrictions. Mobile Device Manager Plus allows you to control only the
        apps on BYO-devices by containerizing them, leaving personal data
        untouched!
        https://ad.doubleclick.net/ddm/clk/304595813;131938128;j
        --


        jEdit Developers' List
        jEdit-devel@lists.sourceforge.net
        https://lists.sourceforge.net/lists/listinfo/jedit-devel

         

        Related

        Bugs: #3993

  • Dale Anson

    Dale Anson - 2016-05-20
    • status: open --> closed
     
  • Dale Anson

    Dale Anson - 2016-05-20

    The 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.

     
  • Phil Evans

    Phil Evans - 2016-05-24

    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.

     

Log in to post a comment.

MongoDB Logo MongoDB