Menu

#71 Bookmarks improvements

Next_Release
applied
Patch
2016-01-30
2014-10-16
beja
No

New entry "Clear all bookmarks" in menu "Edit -> bookmarks". Clears all bookmarks in the current file.
Goto next/previous bookmark will now jump to file beginning/end if triggered while on last/first bookmark, just like search does. Also a message will appear informing that end of file has been crossed.

1 Attachments

Discussion

  • ollydbg

    ollydbg - 2014-10-31
    • labels: --> SDK, Editor
     
  • Morten MacFly

    Morten MacFly - 2015-02-07
    • Type: --> Undefined
     
  • Teodor Petrov

    Teodor Petrov - 2016-01-20
    • Type: Undefined --> Patch
     
  • Teodor Petrov

    Teodor Petrov - 2016-01-22
    • status: open --> applied
    • assigned_to: Teodor Petrov
     
  • Teodor Petrov

    Teodor Petrov - 2016-01-22

    Applied in trunk. Thanks for contribution.

     

Log in to post a comment.

Want the latest updates on software, tech news, and AI?
Get latest updates about software, tech news, and AI from SourceForge directly in your inbox once a month.