#853 Move search options to search settings [feature-request]

Next full release
closed
nobody
5
2016-02-19
2014-02-18
No

Hello, thank you for this invaluable program.
I frequently use tools in the sidebar, namely groups, web search, and search.

I would like to propose a change to 'Search' to free up some screen real estate (which I have to little of). The search takes up quite some space due to its options 'Incremental/Float/Filter/Show results in dialog/Global search' which are radio buttons.

What do you think of moving this group into the search settings menu, where the options are still easily accessible, but only visible upon request? I think most users do not change their search preference very often.

Discussion

  • fdar

    fdar - 2015-07-22
    • Labels: search --> search, groups
     
  • fdar

    fdar - 2015-07-22
    • Labels: search, groups --> filter, search, groups
     
  • fdar

    fdar - 2015-07-23
    • Labels: filter, search, groups --> filter, search, tocategorize, groups
     
  • fdar

    fdar - 2015-07-30
    • labels: filter, search, tocategorize, groups --> GUI, EntryBrowsing
     
  • Tobias

    Tobias - 2016-02-19

    The search bar is now completely reworked while adressing the points you mentioned (combining and simplifying the search options).

     
  • Tobias

    Tobias - 2016-02-19
    • status: open --> closed
     

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

Sign up for the SourceForge newsletter:





No, thanks