FEATURE REQUEST : Get to a given bookmark by typing either the line number or the beginning of the bookmark label

Bug #461751 reported by Pierre Quillery
6
This bug affects 1 person
Affects Status Importance Assigned to Milestone
Scribes
Fix Released
Wishlist
Mystilleef

Bug Description

I think it would be great to be able to select a bookmark in the "Bookmarked Lines" window by typing either the line number or a part of the bookmarked line. This way, navigation would be even quicker :) !

Revision history for this message
Mystilleef (mystilleef) wrote :

Fixed in build 504. Please test.

You can search the line number in this build.

Changed in scribes:
status: New → Fix Released
assignee: nobody → Mystilleef (mystilleef)
importance: Undecided → Wishlist
Revision history for this message
Pierre Quillery (dandelionmood) wrote :

It works as expected in build 504, thanks :) !
I can go to any bookmark by typing its line number.

To post a comment you must log in.
This report contains Public information  
Everyone can see this information.

Other bug subscribers

Remote bug watches

Bug watches keep track of this bug in other bug trackers.