RefactoringMiner icon indicating copy to clipboard operation
RefactoringMiner copied to clipboard
verified publisher icon tsantalis

Use sticky headers

Open koppor opened this issue 3 months ago • 0 comments

GitHub PRs:

Heading stays on top:

Image

Would be nice if this would also be supported by RefactoringMiner

Triggered by https://github.com/JabRef/jabref/pull/14252

koppor avatar Nov 27 '25 11:11 koppor