ericek111 76f6a9feed Drop the Options dialog's page banner ...

It only repeated the page selected in the sidebar, and took vertical
space from the page itself.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

2026-10-01 17:11:43 +00:00

..

src

Drop the Options dialog's page banner

2026-10-01 17:11:43 +00:00

pom.xml

Give the window its own identity in Linux task bars

2026-09-24 14:21:10 +00:00