Skip to content

GitLab

  • Menu
Projects Groups Snippets
  • Help
    • Help
    • Support
    • Community forum
    • Submit feedback
    • Contribute to GitLab
  • Sign in / Register
  • gtranslator gtranslator
  • Project information
    • Project information
    • Activity
    • Labels
    • Members
  • Repository
    • Repository
    • Files
    • Commits
    • Branches
    • Tags
    • Contributors
    • Graph
    • Compare
  • Issues 40
    • Issues 40
    • List
    • Boards
    • Service Desk
    • Milestones
  • Merge requests 4
    • Merge requests 4
  • CI/CD
    • CI/CD
    • Pipelines
    • Jobs
    • Schedules
  • Deployments
    • Deployments
    • Environments
    • Releases
  • Monitor
    • Monitor
    • Incidents
  • Packages & Registries
    • Packages & Registries
    • Container Registry
  • Analytics
    • Analytics
    • Value stream
    • CI/CD
    • Repository
  • Wiki
    • Wiki
  • Snippets
    • Snippets
  • Activity
  • Graph
  • Create a new issue
  • Jobs
  • Commits
  • Issue Boards
Collapse sidebar
  • GNOME
  • gtranslatorgtranslator
  • Issues
  • #108

Closed
Open
Created May 21, 2020 by Daniel Mustieles García@dmustielesDeveloper2 of 5 tasks completed2/5 tasks

Some improvements to search widget

Looking Gedit's search widget I think we could improve ours with just 2 changes on it:

  • Wrap around as default (this should be quite simple to do)
  • Automatic search: start search when user writes in the text field (no need to first: write; second: press button)
  • Red border if there are no search results
  • Show number of matches in the widget
  • Highlight (and iterate) several matches of the same string in a message

As a summary: have the same features Gedit's search-bar has.

Surely some of them can be easiest to achive than others, so @danigm, if you think it's a good idea to separate this tasks is individual issues maybe it woud ease us to get them implemented.

Thanks!

Edited Jun 08, 2020 by Daniel Garcia Moreno
Assignee
Assign to
Time tracking