Now, toggling "hide border" will hide the border for the menu, and "enable shadows" for the menu, too.
I think these changes can make the theme more uniform. You can close the PR for free if you don't like the changes. Please forgive me if there are any irregularities, as I am a PR novice🥲.
The final result is shown in the following figure:
Now, toggling "hide border" will hide the border for the menu, and "enable shadows" for the menu, too.
I think these changes can make the theme more uniform. You can close the PR for free if you don't like the changes. Please forgive me if there are any irregularities, as I am a PR novice🥲.
The final result is shown in the following figure: