Goonhub
01-11-2022, 10:31 PM
(This post was last modified: 01-16-2022, 12:53 PM by github_bot. Edited 3 times in total.)
PULL REQUEST DETAILS
About the PR
![[Image: 149075494-1d635e76-288c-4648-a3c1-064fc138a3c9.png]](https://user-images.githubusercontent.com/35579460/149075494-1d635e76-288c-4648-a3c1-064fc138a3c9.png)
^ This one ^
UPDATE:
Apparently people actually use this feature, so I changed things so that disabling the menu now gives an alert in chat that tells you about the existence of the button. The alert also has a link to reenable the menu, in case the disabling was an accident.
I also changed the anchoring on the menu button, so it should be less likely to be hidden behind other stuff.
You can see a video below.
https://user-images.githubusercontent.co...35a903.mp4
Why's this needed?
We keep getting mentorhelps about how to bring the menu back, especially since the button to do so is often not visible without moving the screen divider further to the left.
~~I think hardly anyone actually uses this feature?
But I am going to put INPUT WANTED on this PR so you can yell at me if you do and we can find another solution!~~
PULL REQUEST DETAILS
About the PR
^ This one ^
UPDATE:
Apparently people actually use this feature, so I changed things so that disabling the menu now gives an alert in chat that tells you about the existence of the button. The alert also has a link to reenable the menu, in case the disabling was an accident.
I also changed the anchoring on the menu button, so it should be less likely to be hidden behind other stuff.
You can see a video below.
https://user-images.githubusercontent.co...35a903.mp4
Why's this needed?
We keep getting mentorhelps about how to bring the menu back, especially since the button to do so is often not visible without moving the screen divider further to the left.
~~I think hardly anyone actually uses this feature?
But I am going to put INPUT WANTED on this PR so you can yell at me if you do and we can find another solution!~~
PULL REQUEST DETAILS