Skip to content

Keep group focussed after clear search #14084

@koppor

Description

@koppor

JabRef offers a group interface (active using View -> Groups)

Image

Expected:

Image

NOTE: If the code is too difficult, then please speak up :)

Code hint - it could be somewhere there:

// Set-up bindings
filterPredicate.bind(EasyBind.map(filterText, text -> group -> group.isMatchedBy(text)));

Metadata

Metadata

Type

No fields configured for task.

Projects

Status
Done

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions