SomeTroglodyte 4f30d27d0b Notifications can be "selected" (#9182) ...

* Allow "selecting" notifications

* NotificationsScroll remembers position relative to topRight

* NotificationsScroll tries to scroll selection into view

* Fix notification selection and scroll-into-view

* User option to control enlarging selected notifications

* Post-merge missed changes

* Move, flip and reword "Enlarge" option

2023-04-16 21:20:56 +03:00

..

src/com/unciv

Notifications can be "selected" (#9182)

2023-04-16 21:20:56 +03:00

build.gradle.kts

…