#137 ``duplicate search'' does not dup filters

open
nobody
GUI (94)
3
2004-08-11
2002-09-02
No

The "Duplicate this search" function in the search pane
should duplicate all the filters currently attached to
the original search and associate it with the dup.

Discussion

  • Christian Biere

    Christian Biere - 2004-08-11
    • summary: "duplicate search" does not dup filters --> ``duplicate search does not dup filters
     
  • Christian Biere

    Christian Biere - 2004-08-11
    • summary: duplicate search does not dup filters -->duplicate search'' does not dup filters
     

Log in to post a comment.

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:





No, thanks