Work at SourceForge, help us to make it a better place! We have an immediate need for a Support Technician in our San Francisco or Denver office.

Close

#93 incremental search enhancements

Completed
closed
Neil Hodgson
None
3
2011-11-02
2003-08-12
l0basetom
No

1. shift-enter to find previous occurrence.
2. non-modal operation so that i can possibly select
some text from the document, resize the window, etc.
while the incremental search box is displayed.

thanks,
tom

Discussion

  • Neil Hodgson
    Neil Hodgson
    2003-08-12

    • assigned_to: nobody --> nyamatongwe
     
  • Neil Hodgson
    Neil Hodgson
    2005-02-18

    • priority: 5 --> 3
     
  • Neil Hodgson
    Neil Hodgson
    2007-07-27

    Logged In: YES
    user_id=12579
    Originator: NO

    Non-modal committed to CVS.

     
  • Neil Hodgson
    Neil Hodgson
    2010-07-30

    In 2.20 uses a non-modal strip.

     
  • Neil Hodgson
    Neil Hodgson
    2011-11-02

    • milestone: --> Completed
    • status: open --> closed