1
0
mirror of https://github.com/zenorogue/hyperrogue.git synced 2024-06-24 22:23:18 +00:00

Merge pull request #189 from jruderman/init_pages

Filtering the Overview now hides page buttons reliably
This commit is contained in:
Zeno Rogue 2021-07-10 09:43:07 +02:00 committed by GitHub
commit 712ec1598c
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -41,7 +41,7 @@ EX void showOverview() {
mouseovers += XLAT(" Hell: %1/%2", its(orbsUnlocked()), its(lands_for_hell()));
}
bool pages;
bool pages = false;
{
dynamicval<int> ds(dual::state, dual::state ? 2 : 0);