- 
          
- 
                Notifications
    You must be signed in to change notification settings 
- Fork 3k
Closed
Labels
[outdated] type: bugConfirmed bugs or reports that are very likely to be bugsConfirmed bugs or reports that are very likely to be bugscomponent: searchcomponent: ui
Milestone
Description
JabRef 5.0-dev--snapshot--2018-11-11--master--50875f967
Windows 10 10.0 amd64
Java 1.8.0_172
Often when I hit the search bar if there is already a text, it expands visually, however, the search cursor is at the beginning of the bar and is not moving. On double-click it does not select the whole phrase, I have to use Delete to individually delete all the search text - Backspace is not working obviously. After this is done, I can search again with an empty search bar.
It would be desirable to
- get rid of the visual UI of search bar expansion - steals half a second from searching every single time
- be able to quickly select the whole search and delete everything in the search bar
- fix the bug of a not moving cursor at the beginning of the search bar
Metadata
Metadata
Assignees
Labels
[outdated] type: bugConfirmed bugs or reports that are very likely to be bugsConfirmed bugs or reports that are very likely to be bugscomponent: searchcomponent: ui
Type
Projects
Status
Done