[#beta-bugs] "Pressing shift will hide the sidebar." option should probably hide the dock whe...

Issue #7367 resolved
Freehold Games Bot Account created an issue

Marked for crossposting by: gnarf

Message (jump):

<gnarf> "Pressing shift will hide the sidebar." option should probably hide the dock when enabled

Comments (2)

  1. Log in to comment