Menu ▾ ▴

#2130 Markers->Add Marker with shortcut fails

normal bug
closed
nobody
editor core (1332)
5
2004-06-28
2004-06-10
Anonymous
No

Selecting the menu item

Markers->Add Marker with shortcut

fails to do anything. Using C-t works fine though.

JEdit Version: 4.1 final

OS: linux

Email:kdv@zipworld.com.au

Discussion

  • Slava Pestov

    Slava Pestov - 2004-06-28

    Logged In: YES
    user_id=2280

    Works for me in 4.2pre15.

     

  • Slava Pestov

    Slava Pestov - 2004-06-28
    • status: open --> closed
     

Log in to post a comment.