diff options
| -rwxr-xr-x | src/clients/cave/cmd_display_resolution.cc | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/clients/cave/cmd_display_resolution.cc b/src/clients/cave/cmd_display_resolution.cc index 21f972f73..0aa4f7aa2 100755 --- a/src/clients/cave/cmd_display_resolution.cc +++ b/src/clients/cave/cmd_display_resolution.cc @@ -395,6 +395,9 @@ namespace if (c.untaken()) result << " (untaken)"; + if (c.nothing_is_fine_too()) + result << " (nothing is fine too)"; + return result.str(); } |