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
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